Deploy Travis CI build 1203 to GitHub pages