extra-dev: cap dune < 3.24 on rocq-elpi-json.dev and rocq-elpi-xml.dev

dune 3.24 deleted the `coq` dune-language extension, so a `dune-project`
containing `(using coq X.Y)` no longer parses regardless of its own
`(lang dune ...)`. Both rows are built from `apps/json/` and `apps/xml/`
of the coq-elpi tree, whose `dune-project` carries `(using coq 0.8)`.
opam solves one dune version per switch, so an uncapped recipe in a
closure can select dune >= 3.24 for everything in it.

Same spelling as the caps already merged for the released rows
(#3806, #3819). Satisfiable: `rocq-elpi`, which both rows depend on,
already asks `dune {>= "3.13" & < "3.24"}`, and `rocq-core.dev` /
`rocq-runtime.dev` ask `dune {>= "3.21"}`, so 3.21-3.23.x satisfies the
whole closure. `opam lint` passes on both files.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01L9BGQT7XUuubV6C619DW4b

Author: JasonGross

extra-dev/packages/rocq-elpi-json/rocq-elpi-json.dev/opam

@@ -7,7 +7,7 @@ license: "LGPL-2.1-or-later"
 homepage: "https://github.com/LPCIC/coq-elpi/apps/json/"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
-  "dune" {>= "3.13"}
+  "dune" {>= "3.13" & < "3.24"}
   "rocq-elpi" {= "dev"}
   "yojson"
   "odoc" {with-doc}

extra-dev/packages/rocq-elpi-xml/rocq-elpi-xml.dev/opam

@@ -7,7 +7,7 @@ license: "LGPL-2.1-or-later"
 homepage: "https://github.com/LPCIC/coq-elpi/apps/xml/"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
-  "dune" {>= "3.13"}
+  "dune" {>= "3.13" & < "3.24"}
   "rocq-elpi" {= "dev"}
   "xml-light"
   "odoc" {with-doc}