Deployed Travis CI build 725 to GitHub pages.