IDE Solver Consolidation

[fabianbs96]

Now with #733 we have two IDE solvers that hardly share common code. So, we need to factor-out common code to improve the maintenance experience.
Also the new solver is overly complicated and should be simplified.

[fabianbs96]

• We should also integrate the new solver into the phasar-cli tool

[fabianbs96]

• We should also integrate with IDE Solver Strategy #669