[cleanup] alphabetize checker names

Reviewed By: jvillard

Differential Revision: D6099204

fbshipit-source-id: aa8b1ff

[opam] fix breakage

[build] taking the .mli into account actually broke the build

Summary: oops_house

Reviewed By: mbouaziz

Differential Revision: D5070159

fbshipit-source-id: ba9232e

[CLOpt] replace uses of Str with Core.String

Summary:
Running `infer --help` with spacetime showed that `Str` was a hog. And indeed perf is 74% better now:

```
before:
bash -c 'for i in $(seq 100); do infer --help > /dev/null 2>/dev/null; done'  28.02s user 0.62s system 98% cpu 29.205 total
after:
bash -c 'for i in $(seq 100); do infer --help > /dev/null 2>/dev/null; done'  6.34s user 0.64s system 92% cpu 7.557 total
```

Running on many files one after the other is now 64% faster too:
```
$ cd infer/tests/codetoanalyze/c/errors
$ # before
$ rm -fr infer-out && time bash -c 'for src in */*.c; do infer -a capture --continue -- clang -c $src; done'
bash -c   7.77s user 0.66s system 97% cpu 8.647 total
$ # after
$ rm -fr infer-out && time bash -c 'for src in */*.c; do infer -a capture --continue -- clang -c $src; done'
bash -c   2.35s user 0.56s system 93% cpu 3.119 total
$ time infer -a capture -- clang -c */*.c
infer -a capture -- clang -c */*.c  0.54s user 0.20s system 99% cpu 0.737 total
```

Reviewed By: mbouaziz

Differential Revision: D4875803

fbshipit-source-id: cfcfa69

[clang] Update fcp plugin

Reviewed By: dulmarod

Differential Revision: D4591101

fbshipit-source-id: babcaea

bump version to 0.9.5

[Make install] install InferClang++ in the right way

Summary: `make install` was creating symbolic link with absolute path of `InferClang`. Fix it

Reviewed By: martinoluca, dulmarod

Differential Revision: D4220519

fbshipit-source-id: 166714b

[make] install the report script

Reviewed By: akotulski

Differential Revision: D4205640

fbshipit-source-id: 0491d3c

bump version: 0.9.2 -> 0.9.3

Reviewed By: cristianoc

Differential Revision: D3892772

fbshipit-source-id: cda9448

bump version: 0.9.1 -> 0.9.2

Reviewed By: jberdine

Differential Revision: D3751244

fbshipit-source-id: 6192883