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
Allow Exceptions to be passed to thread waiting for solutions.
Rethrow exceptions that are placed in queue.
Added global exclusion constraint for OGIA
Made sure that all starting points are unique for Overlapped GIA
Merge pull request #37 from TeamAmalgam/no-hang

Allow exceptions to propogate from solver thread to main thread.
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
Remove the old version of waf in libs.
Merge pull request #41 from TeamAmalgam/remove-old-waf

Remove the old version of waf in libs
Merge branch 'master' into amalgam-z3-smt
Implemented bounds constraints.
Added support for more AST structures.