I liked the look of this and had a play with it this afternoon. I used the python module and added a couple of files to get everything playing in Sonic Pi.
First I added a python script sp_json.py which takes a named ring tone as an input parameter and produces a .json format file named sp_tune.json.
I then wrote a Sonc Pi script which loads in the two data lists from the json file and then plays them. They are easy to play in Sonic Pi because it has a hz_to_midi command built in. The script is arranged to play all the tunes stored in the songs.py file automatically one after the other. I play them using the chiplead synth. i also found it better to transpose the files down an octave. You can also easily alter the tempo if you wish.
You just have to make sure that the paths are set up correctly. It takes several minutes to play all the tunes.
I added the two files to a fork of the python module here
There are comments in the scripts which should get you going.
EDIT further files and a README file added. See my later post here
Here is an audio file of three of the ringtones played by Sonic Pi