Push documentation from travis build 671 to gh-pages.