HLExtract: use colors only if outputting to a terminal