debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet. 
something feels funny to me here. We have the exact same functionality on both sides of the KIL vs JavaKIL divide. I think what you need is an opaque interface which defines getters for the Transition and KRunState, and an implementation of that interface returned by the java backend which lazily evaluates back to frontend KIL only those states for which it was explicitly requested.