Changed syntax in the kkt operator. Instead of declaring the decision variables as an optional argument, the parametric variables should be defined. The reason is that a user typically has no idea what all the decision variables are (since YALMIP introduce many of them automatically), but knows the parameters in a parametrized KKT system.

Fixed bug in bmibnb introduced in a recent version (caused infeasibility on some quadratic problems due to bug in bound propagation).

Fixed bug causing problems for some MILP solvers on problems involving complementarity constraints (arising for instance when kkt is used).

Improved performance of the kkt operator for problems with thousands of constraints.