Push documentation from travis build 802 to gh-pages.