updating travis ci configuration to fix external mirror problem