Deploy Travis CI build 1216 to GitHub pages