Put temp. debugging output on stderr instead of stdout.

Try to recognize doctests.