Automatically generate the docs

[kevinrenskers]

Right now I have to manually generate and commit the docs, and it's way too easy to forget about this.

I should look into a pre-commit hook, or even better, a GitHub Action to do this on every commit (or every pushed tag?). Ideally without that action creating its own commits, allowing me to remove the docs folder from the repo as those files are created on demand. Ala Netlify building my website and those build results not being part of my repo at all. But I guess that's not possible with GitHub Pages?

Maybe just host the docs at saga.loopwerk.io instead.