Randomize Songs in Playlist

Migrationbot

I like that there's a shuffle, but sometimes I like to randomize the playlist, then re-arrange a few songs to play first. This would be nice for both the web player and the Android player.