Logging MIR Cuts
- Changed the IOSAUX to be defined as a linear sum of input rows.
  This is visible from the interface
- Logging the multipliers used to create the aggregate row in MIR.
- Logging the delta selected by final successful cmir_sep call.
- Logging the cset selected by final successful cmir_sep call.
- The delta and cset are not yet user visible.
The extra mir logging information is now user visible.