Fix colordiff issue 4: Missing option to control on/off ansi color code easily