Deploy Travis CI build 1318 to GitHub pages