Deploy Travis CI build 1167 to GitHub pages