Specializing tclBREAK so that it can choose the return exception in case
of a break.
CoqIDE: fix parsing of multicharacter bullets