Package name & version are not set properly in moduleIds

[lukaszcz]

In the Compiler/Pipeline/Driver.hs file, when processing the imports we should change the _entryPointPackage field of the EntryPoint to the package of the imported module. We don't do that, which results in wrong package information being associated with the moduleId. This can lead to a name clash when there are two modules with the same name in two different packages, or in two different versions of the same package used as dependencies in the project.

The PR

• Isabelle/HOL translation: recursive translation of the whole project  #2977

fixes this for the recursive pipelines (for HTML and Isabelle/HOL generation) by modifying processRecursiveUpTo. The solution is a hack, because it reads the global package from disk every time a module in this package is processed. The problem is that for the global package, Package is not available in PackageInfo. The extra disk reads is why I didn't implement this solution in general. The Package should be read only once and information about the Package, not only PackageLike, should be available in PackageInfo.