Merge branch 'feature/eva/improve-messages' into 'master'

share/analysis-scripts/template.mk

src/plugins/aorai/tests/ya/oracle/serial.res.oracle

src/plugins/dive/tests/dive/oracle/various.res.oracle

src/plugins/eva/domains/cvalue/builtins_malloc.ml

src/plugins/eva/engine/compute_functions.ml

src/plugins/eva/engine/recursion.ml

src/plugins/eva/partitioning/trace_partitioning.ml

src/plugins/eva/self.ml

src/plugins/eva/self.mli

src/plugins/eva/utils/library_functions.ml

...analysis/tests/loop_analysis/oracle/with_value.res.oracle

...plugins/markdown-report/tests/md/oracle/cwe126.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n1.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n7.res.oracle

.../declared/oracle/redefine_anonymous_parameters.res.oracle

...ariadic/tests/defined/oracle/multiple-va_start.res.oracle

src/plugins/variadic/tests/defined/oracle/va_copy.res.oracle

src/plugins/variadic/tests/known/oracle/exec.res.oracle

src/plugins/variadic/tests/known/oracle/fcntl.res.oracle

src/plugins/variadic/tests/known/oracle/open.res.oracle