Fix typo, pull K configuration, remove unwanted code.
Trace clarification in the README
Use -DTRACE facility instead of ours.

The included tracing facility is good enough for us.