Simplifying the header, which takes care of an error that gets the size
of the decoded file wrong.  Also adding some stuff about analyzing how
well the compression is.