Test documentation examples in CI

[hannobraun]

Compile errors in documentation examples should be caught by the CI build.

Here's an example of something that slipped through: #145 (comment)