Replace command-line zip with Python library for zip files

[3rdit]

Instead of using the shell to zip, we should do this entirely in Python using a Windows explorer compatible zipping library.