enable Isabelle/ML to produce uninterpreted result messages as well;

include command results in tooltip as well;

more careful handling of Dialog_Result, with active area and color feedback; more formal type Command.Results; propagate command results to output, which is required to resolve update of dialog state; clarified Markup.message: retain uninterpreted messages;