Push documentation from travis build 672 to gh-pages.