Remove PropositionalQuery class and all CUDD-related build stuff