Make json_ui_msg write to out member not std::cout#2045

karkhaz wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

karkhaz:kk-no-json-std-coutkarkhaz/cbmc:kk-no-json-std-coutCopy head branch name to clipboard