docs

Rendered documentation for Shadow.

GitHub Actions builds and publishes Shadow's documentation nightly.

Maintenance note: To clear past builds, run git -c "merge.renamelimit=5000" rebase -i --root and :g/Generated docs for shadow\/shadow/ s/pick/drop/ if your editor is vim.