Deployed Travis CI build 715 to GitHub pages.