Added Solution Deduplicator and Overlapped GIA
Populate random_seed for new MiniSat solvers.
Merge branch 'master' into amalgam-solution-deduplicator

Conflicts:
	tests/kodkod/multiobjective/EndtoEnd/TestSuite.java
Removed all step counter stuff from OGIA
Added global exclusion constraint for OGIA
Made sure that all starting points are unique for Overlapped GIA
Renamed TwoValuePair to SolverSolutionPair, and reverted the changes made in MiniSAT solver
Merge branch 'master' into amalgam-solution-deduplicator

Conflicts:
	src/kodkod/multiobjective/algorithms/MultiObjectiveAlgorithm.java
Merge pull request #36 from TeamAmalgam/amalgam-solution-deduplicator

Solution Deduplicator and Overlapped GIA
Merge branch 'master' into amalgam-checkpointing-clean

Conflicts:
	src/kodkod/multiobjective/MultiObjectiveSolver.java
	tests/kodkod/multiobjective/EndtoEnd/TestSuite.java