src/internal/streamIn.c: say in trace mode what is the UTF-8 character that was read