Prettier variant of 'dump' output format

One confusing thing about this variant is that it actually inserts
annotations (text that goes with a span), instead of trying to
faithfully represent what it gets.

This is partly me trying to understand the input we are working with
and partly trying to get a sufficient working understanding of DATR.
Bit more explicit output format management