Compress pairs variables related by linear equality

Feature request:

If a constraint of the form a x_1 + b x_2 = c,
remove the variable x_2 be substituting x_2 = c/a - b/a x_2.
Translate solutions back to full variable set afterwards.

These kinds of constraints show up in a number of application in problems (especially linear problems), as it is often assumed the impact of the redundant variables on the speed of solution will be negligible.