Implement reading IO predicates and proper stream redirection

[giovinazzo-kevin]

Now the shell and the solver can have their streams redirected. More work to be done for stderr, which is currently unused.