Deploy Travis CI build 1197 to GitHub pages