feat: converting documentation to mkdocs#5276

Draft

gvwilson wants to merge 12 commits intomainfrom

mkdocs-conversion

Commits on Jul 17, 2025

- Move contents of `commands.py` to scripts in new `bin` directory and break
gvwilson
committed

Commits on Jul 25, 2025

feat: converting doc/python/*.md using bin/run_markdown.py
gvwilson
committed

Commits on Jul 26, 2025

better verbosity
gvwilson
committed

Commits on Jul 29, 2025

feat: conditionalize Makefile target for testing
gvwilson
committed