small fixes to infer/src/*/README.md files

Reviewed By: jeremydubreil

Differential Revision: D5489948

fbshipit-source-id: 561543f

infer/src/backend/README.md

@@ -2,6 +2,8 @@
 
 The back end is responsible for the analysis of a project starting from an intermediate representation stored in the results directory, typically `infer-out`.
 
-The main entry point is module [InferAnalyze](InferAnalyze.re).
+The main entry point for infer binary is [infer.ml](infer.ml).
 
-Module [InferPrint](InferPrint.re) is used to export the analysis results.
+Entry point for the analysis is module [InferAnalyze](InferAnalyze.ml).
+
+Module [InferPrint](InferPrint.ml) is used to export the analysis results.

infer/src/clang/README.md

@@ -2,4 +2,4 @@
 
 This is the front-end for the clang compiler.
 
-The main entry point is [CMain](cmain.ml).
+The main entry point is [CFrontend](cFrontend.ml).