Add a mode index to the 'ProofTree' class.
Add a mode index to the 'ProofTree' class.

The mode index and corresponding mode argument allow for different
proof tree printings of the same log stream.  This is useful in the
example to have modes with and without proof terms.

ntc2/haskell-call-trace