Compatibility release for Coq 8.18.

What's Changed

• Compatibility fixes for Coq 8.18 (for coq/coq#16904, coq/coq#16920 and coq/coq#17564) by @ppedrot and @olaure01 in #175, #176 and #180
• Typo fix by @joaquimpuig in #178
• Remove support for untested versions of Coq by @anandadalton in #179
• Simplification of configure and many fixes of Coq deprecations by @anandadalton in #183, #184, #185, #186, #187, @anandadalton in #188, #189, #190, #191, #194, #195, @anandadalton in #197, #198
• Compatibility fix for the upcoming Coq 8.19 (for coq/coq#6134) by @proux01 in #199
• Update testing to Coq 8.18 by @Zimmi48 in #201

New Contributors

• @joaquimpuig made their first contribution in #178
• @anandadalton made their first contribution in #179

Full Changelog: 8.16.0...8.18.0