Add automatic documentation builds for PRs.

[tobiasraabe]

This feature seems to be still in beta, but once it is available, we should use it.

https://blog.readthedocs.com/building-docs-for-pull-requests/

[tobiasraabe]

See newly triggered PR builds for example.