consider using System.CommandLine

https://github.com/dotnet/command-line-api

Seems better than the random experimental package we're using now. But not sure if it can handle dispatch-style commands (where the allowed/recognized set of trailing options depends on an initial command verb).

We could start by using this for the subcommands that don't do dispatching -- in particular fix up the hacky pmi command parsing.