Library Corelib.Compat.Rocq90

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