Release Coq-Elpi 2.1.0 for Coq 8.19 · LPCIC/coq-elpi

What's Changed

fix: HOAS impargs of record by @gares in #569
avoid declaring options twice by @gares in #570
fix detype by @gares in #573
change error msg when section var are cleared by @FissoreD in #580
CS app by @Tragicus in #577
Don't Require PrimInt63 and PrimFloat by default by @proux01 in #579
fix sigma pruning when calling ltac, reachability is not correct by @gares in #581
Fix synter impargs by @gares in #583
Update cs hook by @Tragicus in #593
Update doc by @proux01 in #599
API to print a goal by @gares in #602
attlabel by @gares in #601
Fix a couple of bugs. by @rlepigre in #605
Enable loading db from files by @proux01 in #600
Structured synterp actions by @Janno in #604
Add synterp phase support for derive plugins. by @rlepigre in #597
fix uvamp synchronization by @gares in #608
Enforce correct database initialisation. by @rlepigre in #611
stash conv problems before typechecking by @Tragicus in #612
add catches by @Tragicus in #582
API to fold/unfold primproj by @gares in #521

Full Changelog: v2.0.1...v2.1.0