Remove old miplibtrick from arith static learner
Remove PropositionalQuery class and all CUDD-related build stuff
minor fixes
Rearrange and fix some miplib-related regressions