Build CUDD directly as a Haskell library.
Changed include paths
Merge branch 'native_cudd'