A simple Java Logging API formatter that uses ANSI colors