Implement `integer_cut()` method

[pablormier]

Add an integer cut to the current problem, taking by default the current assignations for the integer vars (if the problem was solved) or taking an optional vector with the values to cut from the problem.