feat: add SONAMEs to shared libraries#14332

Vtec234 wants to merge 4 commits into

masterleanprover/lean4:masterfrom

lake-sharedleanprover/lean4:lake-sharedCopy head branch name to clipboard