feat: improve handling of interrupt exceptions in the server#13821

Vtec234 wants to merge 4 commits into

masterleanprover/lean4:masterfrom

interrupt-exleanprover/lean4:interrupt-exCopy head branch name to clipboard