Update documentation on successful travis build 12 auto-pushed to gh-pages