Merge branch 'feature/wp/why3.1.5.0' into 'master'

devel_tools/docker/Makefile

nix/default.nix

opam/opam

reference-configuration.md

src/plugins/wp/ProverWhy3.ml

src/plugins/wp/configure.ac

...lugins/wp/tests/why3/oracle_qualif/spec_memory.res.oracle

src/plugins/wp/tests/wp/oracle/sharing.res.oracle

...ns/wp/tests/wp_acsl/oracle/chunk_typing_usable.res.oracle

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

...s/wp/tests/wp_acsl/oracle/predicates_functions.res.oracle

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

src/plugins/wp/tests/wp_bts/oracle/bts_2110.res.oracle

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

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

...lugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle

...plugins/wp/tests/wp_plugin/oracle_qualif/model.res.oracle

...ns/wp/tests/wp_typed/oracle/multi_matrix_types.res.oracle