Based onthe work of #14 and #16, implement standard piping and input redirection from Bash in Josh.Shell