Deploy Travis CI build 1176 to GitHub pages