New Help() method to emit help messages.

Usability improvements.

The names of Option fields have changed to be shorter and clear,
leading to more compact usage. The type of opt.Short is now a rune,
leading to one less failure scenario.  Furthermore, we can now support
short options that are runes, facilitating international usage.