Adding mps option to CPX_solve_wis and adding max memory option to serial_wis. Have not tested on Linux yet.