Added the kill message.
Starting switch to new options system.
Changed to lenses and got options working.
Lots of changes. NewOptions are underway.
Minor formatting change.
New options module written

We're not using it yet, but there's a new options module that's much more
flexible than the existing options module when it comes to command line
arguments, but has no support yet for other sources of options.