Merge branch 'feature/dune/makefiles' into 'master'

.gitattributes

Makefile

bin/rebuild.sh

configure.ac

dune

src/kernel_internals/runtime/dump_config.ml

src/kernel_internals/runtime/fc_config.ml.in

src/kernel_internals/runtime/fc_config.mli

src/plugins/aorai/configure.ac

src/plugins/dive/configure.ac

src/plugins/e-acsl/configure.ac

src/plugins/instantiate/configure.ac

src/plugins/loop_analysis/configure.ac

src/plugins/markdown-report/configure.ac

src/plugins/nonterm/configure.ac

src/plugins/print_api/Makefile

src/plugins/qed/Makefile

src/plugins/qed/dune

src/plugins/report/configure.ac

src/plugins/security_slicing/configure.ac