A Python library for streaming PKZIP archives