Math-Classes 8.19.0

What's Changed

• Adapt to rocq-prover/rocq#6134 by @proux01 in #118
• Remove deprecated files in Coq.Arith by @Villetaneuse in #121
• Fix for a new rapply tactic by @JasonGross in #78
• Add Module instance for polynomials by @tymmym in #50
• Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level by @herbelin in #122
• Adapt to rocq-prover/rocq#18590 by @proux01 in #123
• Remove the few instances of non-global hint declarations. by @ppedrot in #126
• Adapt to rocq-prover/rocq#18880 by @proux01 in #127

Full Changelog: 8.18.0...8.19.0