[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 8 commits: Add optional config setting for LibDir (#19174)