Deploy Travis CI build 1171 to GitHub pages