Def Mathlib.GuardExceptions.captureException

feat: `#parse` -- a command to parse text and log outputs (#16305) …