Deploy Travis CI build 1145 to GitHub pages