First steps of refactor. Low-hanging fruit.

- Completely stub out wasOverflow() method in Evaluator
- Updated comment about Kodkod's supported SAT solvers in SATFactory
- Updated Poison package in MoolloyBlockingSolutionIterator
- Removed unused useSymmetryBreaking in MoolloyOptions
- Use a StringBuilder in GIAStepCounter
- Removed unnecessary super() call and method in MeasuredSolution
- Removed unnecessary super() call in MultiObjectiveProblem
- Cleaned up various whitespace