Add some debug log to OpamCudf.extract_explanations to help debug #4373

[kit-ty-kate]

The following dockerfile (derived from #4373 (comment)):

FROM ocaml/opam:debian-11-ocaml-4.12@sha256:40813dc1391636b4a428afbf0e678d2c81b80d9eade8a5214d8ee271fae155f3
RUN git clone https://github.com/kit-ty-kate/opam.git -b extract_explanations-debug
WORKDIR opam
RUN opam exec -- ./configure --with-vendored-deps
RUN opam exec -- make
RUN sudo ln -f _build/default/src/client/opamMain.exe /usr/bin/opam
RUN opam init --reinit -ni
RUN opam remote set-url default git+https://github.com/ocaml/opam-repository.git#a5d7cdc0c91452b0aef4fa71c331ee5237f6dddd
RUN opam pin add --debug --debug-level=3 --with-version 0.6.1 git+https://github.com/bikallem/resto.git#e725f56dd2d5ca0148272d754a0f29ffe76f94e8

now reports:

00:10.228  CLIENT                          conflict!
[ERROR] Package conflict!
00:10.228  CUDF                            Conflict reporting
00:10.228  CUDF                            Reasons: [
  Dependency (dose-dummy-request.???, [resto-cohttp-server], [resto-cohttp-server.0.6.1]);
  Dependency (resto-cohttp-server.0.6.1, [cohttp-lwt-unix>=4.0.0], [cohttp-lwt-unix.4.0.0]);
  Dependency (resto-cohttp-server.0.6.1, [conduit-lwt-unix>=5.0.0], [conduit-lwt-unix.5.0.0]);
  Conflict (conduit-lwt-unix.1.0.3, conduit-lwt-unix.5.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.1.4.0, conduit-lwt-unix.5.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.4.0.1, conduit-lwt-unix.5.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.1.5.0, conduit-lwt-unix.5.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.1.2.0, conduit-lwt-unix.5.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.2.0.1, conduit-lwt-unix.5.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.1.0.2, conduit-lwt-unix.5.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.2.3.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.4.0.2, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.2.2.2, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.4.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.2.0.2, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.2.0.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.1.1.0, conduit-lwt-unix);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.1.3.0, conduit-lwt-unix);
  Dependency (cohttp-lwt-unix.4.0.0, [conduit-lwt-unix<5.0.0], [conduit-lwt-unix.1.2.0, conduit-lwt-unix.1.0.2, conduit-lwt-unix.2.0.1, conduit-lwt-unix.4.0.0, conduit-lwt-unix.4.0.2, conduit-lwt-unix.2.2.2, conduit-lwt-unix.2.3.0, conduit-lwt-unix.1.4.0, conduit-lwt-unix.1.0.3, conduit-lwt-unix.1.5.0, conduit-lwt-unix.1.3.0, conduit-lwt-unix.2.0.2, conduit-lwt-unix.4.0.1, conduit-lwt-unix.1.1.0, conduit-lwt-unix.2.1.0, conduit-lwt-unix.2.0.0]);
  Conflict (conduit-lwt-unix.5.0.0, conduit-lwt-unix.2.1.0, conduit-lwt-unix);
]
[ERROR] Internal error while computing conflict explanations: sorry, please report.
[NOTE] Pinning command successful, but your installed packages may be out of sync.

[AltGr]

Indeed that repro case is really small, which is very good!