add a script which converts a bunch of midi files to mp3