LP/ILP update (CPlex and Gurobi)

* add support for Gurobi
* use finer interface for Cplex and Gurobi