Push documentation from travis build 667 to gh-pages.