Threads should inherit std streams

[Kha]

We store the Lean wrappers of stdin/stdout/stderr in thread-local variables to support redirection as in withStdin/.... New threads spawned within these functions should inherit these variables. Note that if a thread writes to stdout/stderr even after its parent has left the corresponding function, the output will be lost, but it will not otherwise break anything.