Improvements in counter diff reporting
Mostly related to the introduction of unique names and hashes at the end of counter names. This new version can deal with them and report accordingly when there is only a renaming.
On the way, new and missing counters are also displayed, so that diffs can be examined by hand also in cases of "real" renames