sonic-pi: fix download url,  add name

Closes #8363.