Deploy Travis CI build 1208 to GitHub pages