Redirected informational messages that are not part of the trace to stderr, so they don't go into the JSON trace file when we are running in the mode where the trace is sent to stdout