Travis CI: overwrite settings.xml