Adaptation for Coq 8.9.0

1.2.0

adapt for Coq 8.9.0

adaptation to Coq 5.3

adapt to Coq 5.3

Adapt MSetExtra to Coq 5.3pl2

first release

This is the first release. It is created in order to create a opam package.