#3 colorgcc compatibility

[Ruggero]

flymake doesn't work with colorgcc (http://schlueters.de/colorgcc.html). See an example here: http://stackoverflow.com/questions/4149995/flymake-cfgerr-problem