CUDD as a standalone Haskell package#1

davidcock wants to merge 3 commits intotermite2:mastertermite2/cudd:masterfrom

davidcock:masterdavidcock/cudd:masterCopy head branch name to clipboard