deal main subgoal like other subgoals (check new id or not) in super-coq.
visualize change of stack of subgoals by color in super-coq.
- each subgoal has one own color box.
remove change of number of subgoals and show color of main subgoal in special case.
deal multi-line goal rightly in super-coq.