Documentation testing

Todo

Explain that the documentation is build for every pull request (which can fail), and how to view the result.