fix and reject warnings on Coq 8.13

Merged Ralf Jung requested to merge ci/ralf/warnings into master

Merge request reports