Don't release tar.gz, just tar.xz

I think it's quite safe to drop tar.gz these days and just distribute tar.xz. What do you all think? @jvcelak @dsalzman @dtaborsky ?

It is supported on all major platforms and then some, so why not.

Go ahead!

mentioned in commit 4df0f265

Status changed to merged