Python script to colorize gcc output