Push documentation from travis build 772 to gh-pages.