Show console progress on stderr, not stdout (if a tty)

The OCaml process uses stdin/stdout to commmunicate with the Python
slave, so we can't use that any longer (and I can't see a way to use
additional file descriptors from OCaml).