[chore] Private logging library

flake.nix

lib/ir/dune

lib/nnet/dune

lib/onnx/dune

lib/ovo/dune

lib/xgboost/dune

src/autodetect.ml

src/dune

src/interpretation/interpreter.ml

src/interpretation/interpreter_theory.ml

src/main.ml

src/proof_strategy.ml

src/saver.ml

src/transformations/nn2smt.ml

src/transformations/utils.ml

src/verification.ml

utils/dune