Regular Language Representations in Coq 1.1.3

This is a maintenance release and supports MathComp versions 1.11.0 to 1.14.0 in combination with compatible versions of Coq, at least 8.12 to 8.15.

Changes:

• Removed various lemmas from misc.v that now have replacements in MathComp.
• Moved a few lemmas from coq-community/regexp-Brzozowski to this development.