gzip man pages

We support gzipped man pages. We should gzip our manpages.

I don't want to commit the gzipped versions, so the originals should be moved out of base/ and gzipping should be added to the build process.