Add --cmd-dump flag

Currently, we have various specialized flags:

* `--syn-list`
* `--man`

Instead, we could have a single `--cmd-dump` flag which exports all the available command info as JSON, which can then be processed with a separate utility.