fix bdist_rpm

We've noticed that "python setup.py bdist_rpm" fails because the rpm packager expects the man page to be gzipped.  Our change gzips the file, and adds it to the man path.