Push documentation from travis build 665 to gh-pages.