Ensure that kr_log_info() gets sent promptly to stdout
If stdout is buffered, kr_log_info() might take ages to show up in the output stream. Since this stream could be interleaved with stderr (e.g. kr_log_error()), it would be good to be able to see the messages in the order in which they are generated.