MIPBackend: more changes

[glebbelov]

• Joining derived computations into 'compute and report' methods
• Lift var/con statii into MIPBackend
• Should we put the docu into this repo so it's easier to update?