renamed CommitMungers to Miners
renamed other occurrences of "munger" to "miner"