Deduplicate test code and print auto logged trace.
Deduplicate test code and print auto logged trace.

Quite elegant me thinks!

This proves that it works -- well, at least the logging.  I still need
to write a post processor, but the indent tree and latex proof style
processors are already sketched on paper and I think they should be no
problem. Famous last words ... but now I should sleep.

ntc2/haskell-call-trace