Push documentation from travis build 680 to gh-pages.