Add colorful output on windows
Add colorful output on windows

Even though the Windows 10 cmd.exe supports ANSI color codes out
of the box, use SetConsoleTextAttribute for all those stuck with
earlier versions of Windows.

nafest/zenbench