Fixed typos in CLI options.

Signed-off-by: robin-jarry <robin.jarry@gmail.com>
Added meaningful error reporting in C analyzer.

Signed-off-by: robin-jarry <robin.jarry@gmail.com>
Started cleanup of rst docs

Signed-off-by: robin-jarry <robin.jarry@gmail.com>