Switch to SHA-512 checksums in the dist.sh script, to be in line with what we currently publish alongside the tarballs. * dist.sh: Use `sha512sum` instead of `sha256sum`.