Push documentation from travis build 792 to gh-pages.