perf: build `o.noexport` from `o.export` instead of compiling from C code#10623

Rob23oba wants to merge 5 commits intoleanprover:masterleanprover/lean4:masterfrom

Rob23oba:avoid-noexport-buildRob23oba/lean4:avoid-noexport-buildCopy head branch name to clipboard