Improved the mir cut logging facilities to now include:
- the rid id used for virtual lower/upper bound selection,
- and the subst map,
- Changed the size of the cset array to be the same as the new arrays (m+n)
- Fixed a bug in returning the cset selected.