* TimeCounter.h: bad measure was made on this operator, it used the system (processor) clock, but since we have serveral processes working in parallel it becomes an obsolete measure, we use instead the wall clock which the real time.