Deploy Travis CI build 1343 to GitHub pages