[Python-Dev] gzip.py: allow deterministic compression (without time stamp)