More Travis tweaks
More Travis tweaks

mpickering/HaRe,RefactoringTools/HaRe,SAdams601/HaRe,kmate/HaRe,kmate/HaRe,mpickering/HaRe,RefactoringTools/HaRe,SAdams601/HaRe,SAdams601/HaRe,RefactoringTools/HaRe,kmate/HaRe,mpickering/HaRe