Minor release fixing some small issues.

Added support for the mixed-integer linear solver CBC interfaced through OPTI Toolbox.
Added support for the mixed-integer nonlinear solver BONMIN interfaced through OPTI Toolbox.
Updated support for the linear programming solver CLP by using the mex interface in OPTI Toolbox.
Added support for GUROBI 5.0.
Fixed issue which caused SOCP capability of CPLEX 12.4 to be lost in latest release.
Some performance improvements in optimizer.
Slightly rewritten engine to handle and model the operators if-and-only-if and implies