zipfile to compress and uncompress ZIP files in Python https://from-locals.com/python-zipfile/