Enable the printing of OCaml exceptions stack traces

Summary:public
TOgether with compiling Infer in debug mode, this allows to get exceptions stack traces when Infer fails

Reviewed By: sblackshear

Differential Revision: D2899992

fb-gh-sync-id: 55b4d3d
shipit-source-id: 55b4d3d

infer/src/backend/inferanalyze.ml

@@ -338,6 +338,8 @@ let process_cluster_cmdline fname =
       analyze_cluster (nr - 1)  cluster
 
 let () =
+  if !Config.developer_mode then
+    Printexc.record_backtrace true;
   print_prolog ();
   RegisterCheckers.register ();