Deploy Travis CI build 1180 to GitHub pages