added ProportionTimer to keep track of how much data is handled by a worker, and TimedReducer to instrument a reducer worker
added some capabilities to ProportionTimer, and refine TimesList to track data size handled by each worker