Build docs for PRs #219
Description
Feature idea: Add an option to .doclets.yml that enables automatically building documentation for all pull requests. That way it's always easy to check whether documentation changes made by PRs are valid and complete. There could be an extra section in the project's page on doclets.io listing recent PRs.
Cherry on top: Integrate with GitHub status API to display build success/failure and link to output.