Merge branch 'stable/chromium' into feature/patrick/stable2chromium

share/analysis-scripts/make_wrapper.py

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/doc/refman/.gitignore

src/plugins/e-acsl/doc/userman/.gitignore

src/plugins/e-acsl/doc/userman/changes.tex

src/plugins/e-acsl/doc/userman/examples/assert_sign.c

src/plugins/e-acsl/doc/userman/examples/instrumented_first.c

src/plugins/e-acsl/doc/userman/examples/my_assert.c

src/plugins/e-acsl/doc/userman/examples/my_print_value.c

src/plugins/e-acsl/doc/userman/examples/print_value_sign.c

src/plugins/e-acsl/doc/userman/provides.tex

src/plugins/e-acsl/headers/header_spec.txt

src/plugins/e-acsl/man/e-acsl-gcc.sh.1

src/plugins/e-acsl/scripts/e-acsl-gcc.comp

src/plugins/e-acsl/scripts/e-acsl-gcc.sh

src/plugins/e-acsl/share/e-acsl/e_acsl.h

src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c

...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c

...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h

...l/share/e-acsl/instrumentation_model/e_acsl_assert_data.h