Update OPAM files and CI

Adapt to Rocq 9.1

manual workflow dispatch

update version string

Update README for Rocq 9.0 version

Use opam tests for Rocq 9.0 (#205)

Fix tests for Rocq 9.0 (#203)

Fix CI for Rocq 9.0 (#204)

fix compilation

fix compilation

update

Adapt to https://github.com/coq/coq/pull/19530

Adapt to rocq-prover/rocq#20397 (removal of sort families)

Adapt to coq/coq#20371 (dirpath_of_module -> path_of_module, returning full_path)

Fix CI