Filling an array with random lines from a file