Put CPLEX MIP wrapper and Java MIP solver behind common interface.

Added Callback support for CPLEX mip wrapper.

Set up tests as theories to use all MIP solvers.

One of the TSP test instances is broken for both CPLEX and custom solver
(beir127...?).