Deploy Travis CI build 1249 to GitHub pages