Deploy Travis CI build 1192 to GitHub pages