reservoir-sample-stdin

Reservoir sample stdin: randomly sample a fixed number of lines