Deployed Travis CI build 717 to GitHub pages.