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
More refactor work.

- Remove all noOverflow and flatten options from Options
- setFlatten() could not be removed because it's called from many
  places, even though nothing actually happens in the original code
- Fixed typo: ParertoPoint -> ParetoPoint
    - Note that this requires changes to Alloy
      (commit ab3ffd66886fb53ccbdd5197c0c81b7e0af840a2)
More refactoring. Removes the UseAdaptableMinimumImprovement option.

Note that this requires changes to Alloy:
02035289be10be1d9e5ac4a1980caba8aa025640
Refactor. Forgot to revert some of the comments in Options
Refactor: Remove MinimumDeltaImprovement completely.

This was part of the UseAdaptableMinimumImprovement approach, which has
been removed.

Notes:
- In GuidedImprovementAlgorithm, MinDeltaImprovement and
  increaseMinDeltaImprovement are initialized to 0 and false, and never
  change (now that UseAdaptableMinimumImprovement is gone)
- ParameterizedImprovementConstraints() has been changed, since it now no
  longer takes in a MinDeltaImprovement
- Some of the methods used to take a ImprovementConstraintsAreTight
  bool, but this is now always true
- Some of the Stats methods are changed, since constraints are now
  always tight
Refactor so member fields are not private.

This changes MeasuredSolution, MultiObjectiveSolver, Objective, and
Stats. TranslatingBlockingQueueSolutionNotifier is modified to call the
getter.
Refactor Kodkod options.

- This cleans up the Kodkod Options class. Comments are cleaned up, and
  the logging/cloning methods have been updated with the
  allSolutionsPerPoint option.
- Note that the interface has been changed with a shorter name.
- MoolloyOptions has been removed, as it only had one option.
- As a result, AlloySolver now directly saves the option, instead of
  setting it to MoolloyOptions and then getting it back out.

Since this commit changes the interface, Alloy has been updated:
de32b38fba461cc9bf6091054898b51553c2a476
Simplifed the improvement constraints.
Refactor: clean up whitespace and printing in GuidedImprovementAlgorithm.

- Many of the printlns have been removed, so output is now cleaner
- Also removes an uncalled method in GuidedImprovementAlgorithm
- Removed a println from Stats.java
Refactor: cleanup comments and unused imports.
Refactor. Implement toString(), hashCode(), and equals() as needed.

Previously these files extended StandardObjectImpl, a class from
sdg-util. Annotations would specify which of toString(), hashCode(), and
equals() to automatically implement.

Since StandardObjectImpl has been removed, these methods were
re-implemented, automatically with Eclipse.
Code refactoring for Stats class
Refactor. Remove uncalled functions in MetricPoint
Removed multiobjective stuff from Solver

MultiObjectiveSolver is the wrapper around pure Kodkod and is now the new interface for Alloy.

This requires changes to Alloy: b61f04d7300f4ee19aa732c3e0b960fb916fcf89
Added an end-to-end test of gia.
Removed multiobjective stuff from Options

This requires changes to Alloy: 2a486e6fe4c4897583f821829fa9cb81e9458be8
Removed the example FooTest.
Modified moosolver to use SymmetryBreaking and MagnifyingGlass options passed in from MultiObjectiveOptions

This requires changes to Alloy: cb6d10498ca44ea84e80f555b41156c29e7486f8
Test with and without symmetry breaking.
Added a test for End-to-End testing of Solver.