Adjust to new method to access Coq names from plugins in Coq 8.11
Coq 8.11 introduced a new mechanism to access Coq names from plugins. They need to be registered with a dedicated vernac command.
For the Coq 8.11 windows installer I patched the reals standard library and flocq to register the names needed be the gappa plugin and adjusted the name references in gappa accordingly. See:
(https://github.com/MSoegtropIMC/flocq/commit/66482a0775e39770dde8bebc4c896d8d47980e1a)
The patch for the gappa plugin delivered with the Coq 8.11 Windows installer can be found here:
(https://github.com/MSoegtropIMC/gappa-coq/commit/d6f5177181c35f07ff50bd5c173ee13528e06576)