[dune] Open caisar_logging library globally.

src/autodetect.ml

src/dune

src/imports.ml

src/imports.mli

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