correct output language bug with --dump-to
Remove old miplibtrick from arith static learner
new miplib pass, works for 1 or 2 vars
extended miplib trick to 6 vars, should work on pp miplib examples now
disable top-level subs after miplib trick
Remove PropositionalQuery class and all CUDD-related build stuff