A library for efficiently reading individual file contents from very large ZIP archives hosted on remote HTTP servers