Moved ProgressManager from pilar.util to util.