made MILProgram and Objective classes compatible with new-style Varstraint plumbing; move some deprecated code to fake class MILProgramOld