Use pre-generated man pages in make dist. [Added fixes and updates from Ondrej Kozina and Milan Broz]