colorize messages make debug messages gray, location is always gray
colorize messages
make debug messages gray, location is always gray

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer