Merge branch 'feature/wp/fix-bool-type' into 'stable/potassium'

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/plugins/rte/register.ml

src/plugins/rte/visit.ml

src/plugins/wp/Changelog

src/plugins/wp/Cint.ml

src/plugins/wp/TacBitwised.ml

src/plugins/wp/ctypes.ml

src/plugins/wp/ctypes.mli

src/plugins/wp/tests/wp_acsl/oracle/bitwise.res.oracle

...plugins/wp/tests/wp_acsl/oracle_qualif/bitwise.res.oracle

src/plugins/wp/tests/wp_plugin/bool.i

src/plugins/wp/tests/wp_plugin/oracle/bool.0.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/bool.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/rte.0.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/rte.1.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/rte.2.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/rte.3.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/rte.4.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/rte.5.res.oracle