Add WellFoundedStreams module from batteries PR#1331#99

NicolasRouquette wants to merge 2 commits intofgdorais:mainfgdorais/lean4-parser:mainfrom

NicolasRouquette:well-founded-streamsNicolasRouquette/lean4-parser:well-founded-streamsCopy head branch name to clipboard