[backend] Print timeout information into stdout in debug mode

Summary: I noticed we don't have `T` or `S` to denote timeouts in debug mode anymore. Today I saw it's still in `--stats` mode. Bring this feature back to `--debug` as well.

Reviewed By: cristianoc

Differential Revision: D4681669

fbshipit-source-id: 16ef19b

infer/src/backend/InferAnalyze.re

@@ -78,7 +78,7 @@ let print_stdout_legend () => {
   L.stdout "legend:@\n";
   L.stdout "  \"%s\" analyzing a file@\n" Config.log_analysis_file;
   L.stdout "  \"%s\" analyzing a procedure@\n" Config.log_analysis_procedure;
-  if Config.stats_mode {
+  if (Config.stats_mode || Config.debug_mode) {
     L.stdout "  \"%s\" analyzer crashed@\n" Config.log_analysis_crash;
     L.stdout
       "  \"%s\" timeout: procedure analysis took too much time@\n"

infer/src/base/Logging.ml

@@ -299,7 +299,7 @@ let log_progress_procedure () =
   log_progress_simple Config.log_analysis_procedure
 
 let log_progress_timeout_event failure_kind =
-  if Config.stats_mode then
+  if Config.stats_mode || Config.debug_mode then
     begin
       match failure_kind with
       | SymOp.FKtimeout ->