- Refactors statistics and logging out of the algorithm subclasses
- Making changes according to feedback from pull request
	- Adding back @Override annotations
	- Merging methods in to main solve method.
	- removed commented out code
- Removes dead test
- updates test suite
- Introduces the override tags
- Optimization using temporary variable
Add missing StepCounter call in IGIA
Merging template-refactor with master

Merge remote-tracking branch 'origin/template-method-refactor'

Conflicts:
	src/kodkod/multiobjective/algorithms/GuidedImprovementAlgorithm.java
	src/kodkod/multiobjective/algorithms/IncrementalGuidedImprovementAlgorithm.java
Merge pull request #28 from TeamAmalgam/amalgam-igia-countstep

Add missing StepCounter call in IGIA
Removing some of the unused imports
Merge branch 'template-method-refactor'

Conflicts:
	src/kodkod/multiobjective/algorithms/IncrementalGuidedImprovementAlgorithm.java
Merge branch 'master' into amalgam-bounded-gia
Updated BoundedGuidedImprovementAlgorithm to work with refactored MultiObjectiveAlgorithm
Rename BoundedGuidedImprovementAlgorithm

to PartitionedGuidedImprovementAlgorithm.

The boundaries are only a small part in the overall
'PartitionedGuidedImprovementAlgorithm'
Removed unused imports in unit tests
Add end-to-end test for PartitionedGIA