Would be nice to also have .gz variants for the binaries. This would be slightly less convenient, but would speed up installing the tool. Should at least halve the binary size.

The JAR is already compressed, no need to touch that.

While doing this, switch over the GitHub Actions installation script to use .gz if the requested version is at least X, where X is the release that will include this change.