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`.