Coq-Elpi 2.4.0 for Coq 8.20

What's Changed

• Adapt to coq/coq#19530 by @proux01 in #688
• Adapt to coq/coq#19872 (removed auto prop lowering) by @SkySkimmer in #730
• Nix toolbox update by @proux01 in #727
• switch opam ci to docker by @gares in #733
• fix mode signature by @FissoreD in #736
• [CI] Update Nix toolbox by @proux01 in #735
• Adapt w.r.t. coq/coq#19995. by @ppedrot in #738
• Add coq.env.add-context for inserting context declarations by @VojtechStep in #737

New Contributors

• @VojtechStep made their first contribution in #737

Full Changelog: v2.3.0...v2.4.0