glpk-cut-log

Updating the installation instructions.

Adding a stability failure limit to simplex.

Weakening assert to a failure.

Removing some printfs.

Changing an overly aggressive assert in MIR generate when an assignment is outside of the bounds to skipping the application of the mir rule.