Add -b option

Minimizes noise with -b option to suppress some messages.

Version with option -k, for frama-c-script usage

fc-1.0.0

update README.md to explain the purpose of this fork