Push documentation from travis build 804 to gh-pages.