Almost Full 8.12.0 maintenance release

Maintenance release after move to coq-community, with Coq 8.12 compatibility, with the following features:

• port to Coq 8.10 and later
• fix deprecations
• optional support for building with Dune