Callbacks for Cplex and Gurobi

[CPLEX] + callback function to monitor optimization progress and
gracefully stop the optimization if needed
[GUROBI] + callback function to monitor optimization progress and
gracefully stop the optimization if needed