fix reporter name
Merge pull request #1305 from poppinlp/gh-pages

Fix reporter name in github page
resolves #1333: documentation for build of documentation
updating README.md as per @jbnicolai's comments