Merge branch 'feature/andre/snprintf-check-valid' into 'master'

sync with frama-c/frama-c!1344

See merge request !155

src/plugins/e-acsl/tests/bts/oracle/bts1398.res.oracle

 [e-acsl] beginning translation.
-FRAMAC_SHARE/libc/stdio.h:141:[kernel] warning: Neither code nor specification for function printf, generating default assigns from the prototype
+FRAMAC_SHARE/libc/stdio.h:150:[kernel] warning: Neither code nor specification for function printf, generating default assigns from the prototype
 [e-acsl] translation done in project "e-acsl".