checkpoint - stderr redirect bug
checkpoint - stderr redirect bug

I can't figure out why errors from the interpreter in coderepl aren't
getting sent to the fake stdin set up in repl.py