Add support of cut-off value in SolveIpForm.

[guimarqu]

It does not look possible to do it with MathOptInterface. We have to add a constraint to the formulation to define a bound on the objective value.