[Termtools] stdout, stderr

Hi Florian, are we allowed to print diagnostics/trace to stderr? will you store/show it? I found out that `docker run -t` merges these streams but without `-t` they are separate. - Johannes.