Only colorize the profiler report when writing to a terminal - #9383

Only colorize the profiler report when writing to a terminal#9383

abadams wants to merge 3 commits into

mainhalide/Halide:mainfrom

abadams/profiler_report_isattyhalide/Halide:abadams/profiler_report_isattyCopy head branch name to clipboard