CI: Render and deploy docs

[dennisklein]

• Render latest on pushes to main (implemented in b8885bd)
• Render previews on PRs

[dennisklein]

Potentially useful: https://github.com/marketplace/actions/deploy-to-github-pages