Log Message:
Import mkcmd-8.14.

mkcmd lets us build a nifty command line option parser and some on-line
documentation in a snap.  It is a prerequisite for many of Kevin
Braunsdorf's tools.