add summary of the analysis to the standard output
add summary of the analysis to the standard output

Summary:
public
Get something like this at the end of the output of `infer ...`:

  Summary of the reports:

                                 ANALYSIS_STOPS: 239
                                  Bad_footprint: 177
          Assert_failure (backend/sil.ml:875:9): 54
                         ARRAY_OUT_OF_BOUNDS_L3: 6
                          CONDITION_ALWAYS_TRUE: 5
                           RETURN_VALUE_IGNORED: 3
                  STACK_VARIABLE_ADDRESS_ESCAPE: 3
                         CONDITION_ALWAYS_FALSE: 3
                         PRECONDITION_NOT_FOUND: 3
                               NULL_DEREFERENCE: 2
                         ARRAY_OUT_OF_BOUNDS_L2: 2
                         ARRAY_OUT_OF_BOUNDS_L1: 2
      Assert_failure (backend/symExec.ml:404:6): 1
                 Abduction_case_not_implemented: 1
    Assert_failure (backend/symExec.ml:1190:15): 1
                   DANGLING_POINTER_DEREFERENCE: 1
                                    Missing_fld: 1
        Assert_failure (backend/prop.ml:1157:6): 1
                           PRECONDITION_NOT_MET: 1

Reviewed By: jeremydubreil

Differential Revision: D2891512

fb-gh-sync-id: faf9d24

jsachs/infer,facebook/infer,ryoon/infer,xennygrimmato/infer,ropas/infer,kstreee/infer,kstreee/infer,blzq/infer,kstreee/infer,kageiit/infer,jsachs/infer,jsachs/infer,kstreee/infer,xennygrimmato/infer,xennygrimmato/infer,jsachs/infer,ryoon/infer,xennygrimmato/infer,kageiit/infer,facebook/infer,kageiit/infer,ropas/infer,jvillard/infer,kageiit/infer,facebook/infer,kageiit/infer,jvillard/infer,blzq/infer,ropas/infer,facebook/infer,xennygrimmato/infer,xennygrimmato/infer,jvillard/infer,ryoon/infer,facebook/infer,jsachs/infer,ryoon/infer,kstreee/infer,blzq/infer,xennygrimmato/infer,ryoon/infer,blzq/infer,ropas/infer,facebook/infer,jvillard/infer,jsachs/infer,facebook/infer,ryoon/infer,kageiit/infer,ropas/infer,jvillard/infer,kageiit/infer,jvillard/infer,ropas/infer,jvillard/infer,blzq/infer,blzq/infer,kstreee/infer