man: remove the ":doctype: manpage" directive, disliked by GitHub

This caused the first one or two sections of the manpage rendered on
GitHub to totally disappear.  The Makefile's *.1 and *.html targets
define the manpage doctype explicitly via command-line anyway, so it
will cause no effect using those.

Conflicts:
	autorevision.asciidoc