Add settings.xml to the bin distribution

Description

As suggested by Andreas Havenstein, it's useful to have the settings.xml added to the bin distro.

Assignee

Mauro Talevi

Reporter

Mauro Talevi

Labels

None

Components

Fix versions

Priority

Minor
Configure