Deploy Travis CI build 1172 to GitHub pages