A little utility to gzip files in places where you have python but no gzip.  Less functional than gzip but works okay