Launching of server tools (e.g. vault) with custom maven settings needs extra parameter

When using a custom maven settings.xml file we need to pass that on to jboss modules using the jboss.modules.settings.xml.url property. In particular this is needed when invoking the vault tool.