initial ILP

added initial solving for ILPs -- with Gomory-Chvatal cuts and auxiliary
problem on the new dictionary