txt2man converts flat ASCII text to man page format 