Fix download url of sonic-pi
Add name to sonic-pi
Merge pull request #8366 from ndr-qef/casks-misc

sonic-pi: fix download url, add name