Batchman v2

Brings batchman into the 21st century!
Move to `progress.R`.  Include more documentation.