cabal file:  Added man page generation stuff to extra-source-files.