- 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
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
Removing some of the unused imports
Merge branch 'template-method-refactor'

Conflicts:
	src/kodkod/multiobjective/algorithms/IncrementalGuidedImprovementAlgorithm.java