Added auto-opened modules
Modules (compunit) named Prelude are automatically opened when using a
namespace (the name is not important, it should be Pervasives in the near future).
Allows to link a module with the same name but different namespace