Make HistoryFile look like more like a default dictionary class, plus add a CounterWrapper class to go with it
Merge branch 'v3/4990' into v3/4990_v2

Conflicts:
	frontend/glideinFrontendElement.py