Implement manpage compression on install

/setup.py
Now we store the uncompressed man page and compress it on install time.