Push documentation from travis build 718 to gh-pages.