Settings.xml for Travis