s/_EXPRLITERALS/_LITS/
Get rid of deprecated Expression.factor method
Add CUDD 2.5.0 contents
Add CUDD build extension