fix: Do not overwrite existing signal handlers#5062

Kha merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom

eric-wieser:stack_overfloweric-wieser/lean4:stack_overflowCopy head branch name to clipboard