grep: Colorize filename, line number, and separator