4.0.0

• merge the following repositories to simply install / code releases:
  • https://github.com/coq-io/evaluate
  • https://github.com/coq-io/exception
  • https://github.com/coq-io/list
• add compatibility with Coq 8.9