Fix dependencies so Travis can compile
Fix dependencies so Travis can compile

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