Produce man pages for documentation

[eschaton]

It’d be great to have the UNIX manual pages for detok, romheaders, and toke in addition to the HTML documentation. Ideally both could be produced from the same source.