Restore the original console color after logging a message.

Fixes #277

src/common/logging/text_formatter.h

@@ -29,6 +29,8 @@ const char* TrimSourcePath(const char* path, const char* root = "src");
 void FormatLogMessage(const Entry& entry, char* out_text, size_t text_len);
 /// Formats and prints a log entry to stderr.
 void PrintMessage(const Entry& entry);
+/// Prints the same message as `PrintMessage`, but colored acoording to the severity level.
+void PrintColoredMessage(const Entry& entry);
 
 /**
  * Logging loop that repeatedly reads messages from the provided logger and prints them to the