progress.batch.Rd
Extract progress information from a batch
A batch object
A list containing progress details