Push documentation from travis build 794 to gh-pages.