Trying to make travis happy with the new doctests
Trying to make travis happy with the new doctests

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