Merge branch 'fix/rte/initialized-warning' into 'master'

Changelog

doc/rte/rte.tex

src/plugins/rte/flags.ml

src/plugins/rte/flags.mli

src/plugins/rte/options.ml

src/plugins/rte/options.mli

src/plugins/rte/register.ml

src/plugins/rte/rte.ml

src/plugins/rte/visit.ml

tests/rte/initialized-ignore-fct.i

tests/rte/initialized.c

tests/rte/initialized_union.c

tests/rte/oracle/initialized-ignore-fct.0.res.oracle

tests/rte/oracle/initialized-ignore-fct.1.res.oracle

tests/rte/oracle/initialized.res.oracle

tests/rte/oracle/initialized_union.0.res.oracle

tests/rte/oracle/initialized_union.1.res.oracle