Actually compress the output zip file (fixes #5)