scripts: compress releases with xz as well as gzip