Add src/arcgzip.py