Deploy Travis CI build 1342 to GitHub pages