man/*.1 : Conver from man to mdoc markup language.

These files were converted to mdoc by Jan Stary <hans@stare.cz>.