Merge branch 'master' into feature/ivette/source-code-view

ivette/src/renderer/ASTview.tsx

ivette/src/renderer/style.css

ptests/check_oracles.sh

src/plugins/value_types/widen_type.ml

...tests/wp_hoare/oracle/alias_assigns_hypotheses.res.oracle

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

src/plugins/wp/tests/wp_plugin/oracle/unsigned.err.oracle

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

...le_qualif/bitmask0x8000.0.session/script/lemma_res_n.json

...le_qualif/bitmask0x8000.0.session/script/lemma_res_y.json

...wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.res.oracle

...lugins/wp/tests/wp_plugin/oracle_qualif/bool.0.res.oracle

...lugins/wp/tests/wp_tip/oracle_qualif/induction.res.oracle

...gins/wp/tests/wp_typed/oracle_qualif/user_init.res.oracle

tests/metrics/oracle/libc.3.res.oracle

tests/misc/oracle/log-file.0.res.oracle

tests/misc/oracle/log-file.1.res.oracle

tests/misc/oracle/my_visitor.res.oracle

tests/value/oracle/widen_non_constant.res.oracle

tests/value/widen_non_constant.i