Change from GZIP to XZ

XZ has a better compression rate and I set the XZ_OPT environmental variable to -9 for the best compression.