- add ISC-licensed mdoc2man.awk from Peter Stuge
- fix --with-mantype=man