Deploy Travis CI build 1332 to GitHub pages