Makefile: colorize "make check" output