Deploy Travis CI build 1341 to GitHub pages