Push documentation from travis build 765 to gh-pages.