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

.gitignore

config/caisar-detection-data.conf

config/drivers/cvc5.drv

config/dune

examples/xgboost/README.md

lib/xgboost/bin/dune

lib/xgboost/bin/parse_xgboost.ml

lib/xgboost/dune

lib/xgboost/example/agaricus.test.svm

lib/xgboost/example/agaricus.txt.train

lib/xgboost/example/basic_walkthrough.ipynb

lib/xgboost/example/california.csv

lib/xgboost/example/california.ipynb

lib/xgboost/example/california.json

lib/xgboost/example/california.t

lib/xgboost/example/dune

lib/xgboost/example/logistic.t

lib/xgboost/example/model-0.json

lib/xgboost/input.ml

lib/xgboost/input.mli