Batchman -> batch
splitting and combination strategy
Removed combine (obsoleted)
document for removing combine, default splitting strategy
Removed combine (obsoleted)
initial rolling generator
Stop by default
redocument, fixed while loop
function returning function!
fixed recombination
provide partial progress on a stop
removed an unneeded comment
partial progress accessor, stop putting batches in global
refactored out key_strategy
batching announcement now part of splitting strategy
removed that comment too
key strategy for any amount of keys
can batch either or
don't delete if you don't need to
Initial test coverage