Adjust to Coq 8.11: register Coq names used in plugins
Coq 8.11 has a new mechanism for accessing Coq names in plugins. The Coq names must be registered with a plugin access identifier. The gappa plugin uses some names from the Flocq development. Arguably these names should be part of the public interface of Flocq, so I added a file to register these names to Flocq.
The Flocq patch which is delivered with the Coq 8.11 Windows installer is available here:
https://github.com/MSoegtropIMC/flocq/commit/66482a0775e39770dde8bebc4c896d8d47980e1a
(I already sent this patch via email around the Coq 8.11 release but I guess this is a better way to communicate this)