Turn require Coq depr warnings as error by default#21851

proux01 wants to merge 2 commits intorocq-prover:masterrocq-prover/rocq:masterfrom

proux01:warnerror-require-coqproux01/rocq:warnerror-require-coqCopy head branch name to clipboard