Deployed Travis CI build 712 to GitHub pages.