Minor changes: yappi times only the for loop of interest in profile_minicoord and mini_aggregator now contains a fake lock for turning off the locks.