Added Makefile to rebuild man pages.

This should only be needed by developers.
Added make-pandoc-man-pages flag

Previously we built this by default, but most users won't need
to build it, since we include built man pages with the package.
Fixed haddock comment.
Added new Makefile targets.