added flatn command in proofManagerLib

in interactive proof, to flatten subgoal stack, so as to merge current list of
subgoals with previous level(s)