Coq-Elpi 2.2.1 for Coq 8.19 and 8.20

What's Changed

• TC str2gr conversion not in cache + adapt solve_TC wrt coq hook by @FissoreD in #646
• [derive] Open scope only locally by @eponier in #647
• do not rebuild before installing by @gares in #653
• fix PR #652 by @gares in #654
• adapt to coq/coq#19300 by @gares in #649
• Better error reporting by @gares in #658
• [TC] all tc predicates are inside a tc namespace by @FissoreD in #650
• release by @gares in #659

Full Changelog: v2.2.0...v2.2.1