Merge branch 'feature/bobot/mk_onnx' into 'master'

config/caisar-detection-data.conf

examples/acasxu/acasxu.why

flake.nix

lib/ir/dune

lib/ir/nier_cfg.mli

lib/ir/nier_simple.ml

lib/ir/nier_simple.mli

lib/onnx/onnx.ml

lib/onnx/onnx.mli

lib/onnx/simple.ml

lib/onnx/tests/dune

lib/onnx/tests/print.expected

src/convert_xgboost.ml

src/dataset.ml

src/dataset.mli

src/interpretation/interpreter.ml

src/interpretation/interpreter_reduction_engine.ml

src/interpretation/interpreter_reduction_engine.mli

src/interpretation/interpreter_theory.ml

src/language.mli