Deploy Travis CI build 1151 to GitHub pages