Library Corelib.Compat.Coq820

Compatibility file for making Rocq act similar to Coq v8.20 When removing this file, please cleanup the "-compat" option code in sysinit/coqargs.ml