Deploy Travis CI build 1212 to GitHub pages