change ANSI red color from 91 to 31 (91 works in OS X native terminal, but not http://plugins.jetbrains.com/plugin/7125 ; ref http:/. /stackoverflow.com/questions/3219393/stdlib-and-colored-output-in-c) ; add blue and magenta colors add comment in case needed in the future