fix or silence Coq 8.10 warnings

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

Merge request reports