Push documentation from travis build 800 to gh-pages.