tools: play: add --shuffle command line option