[AI] escape html output

Summary: Looks much less confusing when C++ templates with `<stuff>` are involved.

Reviewed By: mbouaziz

Differential Revision: D5255551

fbshipit-source-id: f4a93e6

infer/src/checkers/AbstractInterpreter.ml

@@ -92,7 +92,7 @@ module MakeNoCFG
           let instrs = List.map ~f:fst instr_ids in
           L.d_strln
             (Format.asprintf "PRE: %a@.INSTRS: %aPOST: %a@."
-               Domain.pp pre (Sil.pp_instr_list Pp.text) instrs Domain.pp astate_post);
+               Domain.pp pre (Sil.pp_instr_list Pp.(html Green)) instrs Domain.pp astate_post);
           NodePrinter.finish_session (CFG.underlying_node node);
         end;
       let inv_map'' =