Copy man pages, then compress them. This allows us to install uncompressed
man pages by overriding GZIP to /bin/true