[parsing] Remove hacks for reduced Prelude.
[parsing] Remove hacks for reduced Prelude.

These hacks to warn the users about needed modules are not needed
anymore in 8.8, as the proper error message is done in 8.7 already.

This helps in avoiding a dependency from parsing to MlTop.

ejgallego/coq,Zimmi48/coq,maximedenes/coq,silene/coq,maximedenes/coq,gares/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq,ppedrot/coq,letouzey/coq-wip,ppedrot/coq,coq/coq,Zimmi48/coq,maximedenes/coq,gares/coq,JasonGross/coq,JasonGross/coq,SkySkimmer/coq,SkySkimmer/coq,gares/coq,ejgallego/coq,JasonGross/coq,ppedrot/coq,Zimmi48/coq,SkySkimmer/coq,gares/coq,ppedrot/coq,coq/coq,gares/coq,letouzey/coq-wip,JasonGross/coq,silene/coq,ppedrot/coq,silene/coq,Matafou/coq,maximedenes/coq,letouzey/coq-wip,letouzey/coq-wip,Matafou/coq,Matafou/coq,coq/coq,maximedenes/coq,ejgallego/coq,letouzey/coq-wip,coq/coq