Push documentation from travis build 784 to gh-pages.