Music Player: Option for Randomizing the Playlist