fix: load missing dynlibs individually with precompileModules#14326

Vtec234 wants to merge 2 commits into

masterleanprover/lean4:masterfrom

lake-more-pluginsleanprover/lean4:lake-more-pluginsCopy head branch name to clipboard