stdin redirection support

[bepri]

Currently, if I want to pipe something into stdin for a command, with most bash-based shells, I can run:

foo < bar.txt

and this gets the job done just right. With Dune(🚀), it seems I am stuck with:

cat bar.txt | foo