The name of `mathcomp_extra.v` does not really match its purpose anymore

[affeldt-aist]

Since the goal is to preserve compatibility with successive versions of MathComp,
I think that an appropriate name is rather mathcomp_compat.v.
What do you think? @proux01 ?

[proux01]

I agree