Make counters work with algorithm
- introduce CounterHolder, which keeps track of the available counters, and provides declareCounter, findCounter, forEachCounter, nCounters and clearCounters
closes #57 (closed)
Edited by Gerhard Raven
closes #57 (closed)