fix(lake): use response files on all platforms to avoid ARG_MAX#12540

kim-em wants to merge 4 commits intoleanprover:masterleanprover/lean4:masterfrom

kim-em:fix/response-file-all-platformskim-em/lean4:fix/response-file-all-platformsCopy head branch name to clipboard