Push documentation from travis build 639 to gh-pages.