Push documentation from travis build 719 to gh-pages.