[man] fix bogus markup

Summary:
Replace `$(u,...)` with `$(i,...)` since `$(u,...)` doesn't exist.
Cmdliner was emitting a warning at runtime:

  cmdliner error: Unknown cmdliner markup $(u,...) in "Specify classes where the destructor should be ignored when computing liveness. In other words, assignement to variables of these types (or common wrappers around these types such as $(u,unique_ptr<type>)) will count as dead stores when the variables are not read explicitly by the program. (default: $(i,[]))"

Reviewed By: mbouaziz

Differential Revision: D15045004

fbshipit-source-id: e03ece4f7

[release] preparing for binary releases

Summary:
Change the documentation to refer to (upcoming) binary releases. Update the
scripts to treat .release differently: now we want to build clang and the
plugins even in release mode, as that's just the preparation for the release
tarball containing only binaries.

Reviewed By: mbouaziz

Differential Revision: D8235388

fbshipit-source-id: bfb4ae8

[cost] Removed dead abstract domains

Reviewed By: ddino

Differential Revision: D7781539

fbshipit-source-id: 28fef76

bump version 0.13.1

[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