Deploy Travis CI build 1178 to GitHub pages