Add an executable to shuffle the lines in a file randomly