Replacing uncompressed json file with compresses version.  lzma gives me the best
compression reslt so i'm using it for this (I tested bzip2, xz,and rzip).  I propose that
we use it for all of our trace files.  A quick google indicates that python can redily
read these files directly.