…x/dune into markdown-for-odoc-without-system

* 'markdown-for-odoc-without-system' of github.com:/davesnx/dune: (45 commits)
  Update submodule test now that things work (ocaml#13032)
  Port pkg tests to internal `sed` where possible (ocaml#13035)
  dune_trace: add file watching events (ocaml#13038)
  Improve `dune_pkg_lock_normalized` (ocaml#13034)
  Only traverse list once to find Dune (ocaml#13031)
  Add information about dune show depexts in the tutorial (ocaml#13007)
  fix: Truncate rev store lock (ocaml#13030)
  coq: more removal of _build/log checking (ocaml#13028)
  refactor: float to Time.t and Time.Span.t (ocaml#13029)
  dune trace: move evaluated rules counter under debug (ocaml#13027)
  Dune_trace: add pid and initial_cwd to initial event (ocaml#13026)
  refactor: some cosmetic changes
  dune_trace: simplify event format (ocaml#13025)
  coq: move away from parsing _build/log in tests (ocaml#13016)
  dune trace: move process categories to field in args (ocaml#13024)
  dune_trace: remove all redundant opens (ocaml#13023)
  dune trace: async events category (ocaml#13022)
  dune_trace: add config category (ocaml#13021)
  Remove extra categories from RPC events (ocaml#13020)
  refactor: reduce code for timestamp/span generation (ocaml#13019)
  ...