Made text that previously appeared in the JustificationPanel statusbar
appear in the Tree statusbar, in accordance with issue #27. Fixed a bug
with CaseRuleSelectionHelper not reseting the coordinate chosen between
case rule applications. Removed some debug messages.