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.