MipWrapper's makefile now allows `make debug` to add the debug flags.
Add is_opt() to SCIP interface. Support for `make debug` in SCIP interface Makefile.
MIP encoding support for multiplying two integers variables, and a variable times a constant.