Push documentation from travis build 767 to gh-pages.