Preserve delta-resolver at Module and Module Type starting.
Preserve delta-resolver at Module and Module Type starting.

The default value of the delta-resolver for name aliasing was
reinitialized at Module and Module Type starting time. The existing
resolver was saved but the saved value was not used in
Safe_typing.constant_of_delta_kn_senv and
Safe_typing.mind_of_delta_kn_senv.

A possible fix could have been to take the saved resolver into account
in Safe_typing.constant_of_delta_kn_senv and
Safe_typing.mind_of_delta_kn_senv. We just try instead not to
reinitialize it.

This incidentally fixes #12525 (Search unable to see through an
"Include" when in an ongoing "Module").

gares/coq,SkySkimmer/coq,silene/coq,gares/coq,coq/coq,JasonGross/coq,Zimmi48/coq,ejgallego/coq,Zimmi48/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,JasonGross/coq,Zimmi48/coq,coq/coq,gares/coq,SkySkimmer/coq,JasonGross/coq,gares/coq,SkySkimmer/coq,silene/coq,gares/coq,ejgallego/coq,ejgallego/coq,JasonGross/coq,coq/coq,Zimmi48/coq,silene/coq