Remove pipes to `/dev/null` on gh-pages deploy

This sholuld make the haddock deployment to github pages on travis-ci a
little more verbose, so I can debug it (it's not really working).