python script to zip a directory.