Remove Travis mirror from settings.xml (been down since a few days)