compress file using gzip python