Deploy Travis CI build 1215 to GitHub pages