Start convertion of ptests into a dune file generator

Makefile

ptests/dune

ptests/ptests.ml

src/kernel_services/plugin_entry_points/dynamic.ml

src/kernel_services/plugin_entry_points/dynamic.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/plugins/aorai/dune

src/plugins/callgraph/dune

src/plugins/constant_propagation/dune

src/plugins/dive/dune

src/plugins/e-acsl/dune

src/plugins/from/dune

src/plugins/impact/dune

src/plugins/inout/dune

src/plugins/instantiate/dune

src/plugins/loop_analysis/dune

src/plugins/markdown-report/dune

src/plugins/metrics/dune

src/plugins/nonterm/dune

src/plugins/obfuscator/dune