Moved CPLEX Cov Formulation testing code to a new class:
CPLEXCovFormulation.
Cleaning some code.