document-release

Update application documentation in `documentation/` after a release. Reads the most recent merge commit (or `--since <sha>`) and `docs/progress.md`, then writes/updates `documentation/` and lands a separate `docs:` commit on the current branch. Runnable ad-hoc outside the `/pipeline` workflow.