AutoWeightedPlaylist, a randomised music player using mplayer.