random-line: filter that choose a random line from stdin