Randomize lines

Randomize a list of lines online.