Update to RealToMp3 script

I've just uploaded an updated version of the realToMp3 python script, which converts online Real audio streams to mp3 files. The latest change is to make it work with URLs that have querystrings.