Deployed Travis CI build 718 to GitHub pages.