Push documentation from travis build 710 to gh-pages.