Rename TraceChecker to TraceCheck

[Heizmann]

The name TraceChecker is misleading. The name suggests that such an object (once constructed) can be used to check traces.
However, if the construction of the object is finished the object "only" represents the trace check and its public methods only allow you to get input, output and statistical information.

If no one objects I will to the renaming indicated by the title.

[danieldietsch]

I like it.

[greitsch]

No objection from me.

[alexandernutz]

dito

[Heizmann]

But I have not done this yet!?!

[danieldietsch]

But I did it with ee68654.

[Heizmann]

Thanks. But one should not only relabel the class name but also all variable names! I can do this if you think it is a waste of time.

[danieldietsch]

Oh, you are right. I forgot this, but can do it later.

[danieldietsch]

Should be finished with d92ef35 -- close if this is what you thought.

[Heizmann]

Thanks. I checked with
grep -ir cechecker trunk/source/*/src
and did not find anything.