Deploy Travis CI build 442 to GitHub pages.