Another refactoring of the resolver to improve performance by calculating package spaces for all modules in advance. This makes it possible to check consistency and try to fix multiple conflicts at the same time. (FELIX-2035,FELIX-2037)