Better CLI

Added support for setting options on the command line, and for including information about these options in the command line help. See `CLI` and `Setting`. Added command line help for `ReplMain`.