Rename components (everywhere) to avoid name collisions

[tlringer]

No description provided.

[tlringer]

This includes in fix-to-elim

[tlringer]

You can use an mlpack also to do that now
@tlringer look at the metacoq build system for example
There we have ml plugins depending on each other (using -open PluginA to build plugin B files)
Mathtieu says: We do prefix naming of the separate files though but that’s because otherwise Coq’s extraction easily gets mixed up
So you first build a packed version of pluginA, and build pluginB with just the packed version of A in your Include path, ocamldep should be fine with that