Switch from GZip to 7za

Save up to 50% space, but takes longer to compress