Minor fixes to build system
Remove PropositionalQuery class and all CUDD-related build stuff (and references)
Fixes for miplib-trick application (and a new testcase)
Minor cleanup of sources