Use restrict instead of urestrict for cofactors
Get rid of BDD urestrict
Get rid of some truth table class hierarchy
Get rid of table urestrict
Add CUDD 2.5.0 contents
Add CUDD build extension