Merge branch 'julien/bugfix/no-more-rte-precond' into 'stable/argon'

[e-acsl-gcc] -rte-precond does not exist anymore

See merge request frama-c/e-acsl!268

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

@@ -135,7 +135,7 @@ rte_options() {
   # explicitly specified
   # Option supported by RTE but unsupported in E-ACSL, should
   # always be negated
-  local rte_options_unsupported="precond"
+  local rte_options_unsupported=""
   local rte_options_explicit="trivial-annotations"
   local generated="-rte" # Generated Frama-C options