[cli] introduce `-a biabduction` and make `-a infer` an alias to it

Summary:
One day `-a infer` will alias `-a checkers` so for now create another, more
explicit analyzer name that can be used to migrate progressively. For instance,
after this commit what should continue to use `-a biabduction` can change to
that, so that when `-a infer` becomes an alias to `-a checkers` it can keep
working.

Reviewed By: jeremydubreil

Differential Revision: D6051146

fbshipit-source-id: 1ef4c34

infer/src/base/Config.ml

@@ -30,7 +30,8 @@ type analyzer =
 let equal_analyzer = [%compare.equal : analyzer]
 
 let string_to_analyzer =
-  [ ("capture", CaptureOnly)
+  [ ("biabduction", BiAbduction)
+  ; ("capture", CaptureOnly)
   ; ("checkers", Checkers)
   ; ("compile", CompileOnly)
   ; ("crashcontext", Crashcontext)
@@ -568,12 +569,13 @@ and analyzer =
   CLOpt.mk_symbol_opt ~deprecated:["analyzer"] ~long:"analyzer" ~short:'a'
     ~in_help:CLOpt.([(Analyze, manual_generic); (Run, manual_generic)])
     {|Specify which analyzer to run (only one at a time is supported):
-- $(b,infer): run the bi-abduction based checker, in particular to check for memory errors (activated by default)
+- $(b,biabduction): run the bi-abduction based checker only, in particular to check for memory errors  (default)
 - $(b,checkers): run the checkers
+- $(b,infer): alias for $(b,biabduction)
+- $(b,linters): run linters based on the ast only (clang only, activated by default)
 - $(b,capture): similar to specifying the $(b,capture) subcommand (DEPRECATED)
 - $(b,compile): similar to specifying the $(b,compile) subcommand (DEPRECATED)
-- $(b,crashcontext): experimental (see $(b,--crashcontext))
-- $(b,linters): run linters based on the ast only (Objective-C and Objective-C++ only, activated by default)|}
+- $(b,crashcontext): experimental (see $(b,--crashcontext))|}
     ~f:(function
         | CaptureOnly | CompileOnly as x
          -> let analyzer_str =