Rework the internal solver.

1) Now all clauses are linked to the variables
2) Fix upgrade job processing
3) Fix the internal solver algorithms
4) Print total jobs in the universe
5) Add extensive debuggig