Lists the available commands; useful for adding auto-completion of command names.
usage: srcomp list-commands [-h]