Rebased feature/why3

.ocamlformat

caisar.opam

config/caisar-detection-data.conf

config/drivers/marabou.drv

config/drivers/pyrat.drv

config/dune

dune-project

src/autodetection.mli

src/dune

src/main.ml

src/printers/marabou.ml

src/printers/pyrat.ml

src/transformations/native_nn_prover.ml

src/transformations/native_nn_prover.mli

src/transformations/vars_on_lhs.ml

src/transformations/vars_on_lhs.mli

src/verification.ml

src/verification.mli

tests/autodetect.t

tests/bin/Marabou