Tweaking travis for new haddock version