zip all files in a directory with python