Rename some command-line options that map to config parameters.

See bb4e9cbe87c0c6cae842c47afd12889c5626f7cc.

Command-line options should map directly to configuration parameters,
but some parameters have shortened command-line options. All these
shorter options are documented in the manual. All the options *not*
documented in the manual match corresponding configuration
parameters *exactly*.

We still have ~25 undocumented options. They will be takes care of once
I get to #202.
Update the parameter choice of the ross examples