Merge branch 'feature/dune/configure-plugins' into 'feature/bobot/jbuilder'

.gitignore

configure.in

dune-project

headers/dune-project

ptests/dune-project

ptests/ptests.ml

src/kernel_externals/pdg_types/pdgIndex.ml

src/kernel_externals/pdg_types/pdgIndex.mli

src/kernel_externals/pdg_types/pdgMarks.ml

src/kernel_externals/pdg_types/pdgMarks.mli

src/kernel_externals/pdg_types/pdgTypes.ml

src/kernel_externals/pdg_types/pdgTypes.mli

src/kernel_externals/value_types/README.md

src/kernel_externals/value_types/cilE.ml

src/kernel_externals/value_types/cilE.mli

src/kernel_externals/value_types/cvalue.ml

src/kernel_externals/value_types/cvalue.mli

src/kernel_externals/value_types/function_Froms.ml

src/kernel_externals/value_types/function_Froms.mli

src/kernel_externals/value_types/inout_type.ml