Simple tool to randomize a music playlist