Automate generation of CLI command docs #53
Description
At present, the generate-cli-commands.sh script is only run manually.
Instead, we should automate it so that the docs generation happens every time its output would change (that is, whenever the doc comments in the source change).