Color not working on windows

[StephaneCapponi]

We need to use colorama to fix windows terminal color output. Today, on windows, the output only contains the escaped color character but does not show the color

from colorama import just_fix_windows_console
just_fix_windows_console()