use python to zip archive