Simple hack to read in all the lines of a file and write them back out again in random order. There is no hard limit on the number of lines it can handle.