feat: query xcrun to find the correct location of libc(++) on MacOS#13

bollu wants to merge 3 commits into

digama0:maindigama0/lean-sys:mainfrom

bollu:macos-query-xcrunbollu/lean-sys:macos-query-xcrunCopy head branch name to clipboard