Lastest doc and coverage report on successful travis build 801 auto-pushed to gh-pages