new option for doing top-level miplib substitutions (or not)
Remove PropositionalQuery class and all CUDD-related build stuff