Option -m mean different things in subcommands config and prove

This is perhaps not a real issue, but this can be confusing.

In config subcommand, option -m is "calibrate provers (master)", while in prove it is "minimize proofs (or update)" (see respective --help or README.md)