Enable Doxygen MAN_LINKS

which generates little man pages with .so the main one.  Also don't
install the weird Directory manpage which doxygen 1.8.3 seems to want to
generate for no adequately explained reason.