Standalone termite binary

Building CUDD as a native Haskell package lets us avoid dynamic lib
dependencies.
Switched cudd to my github branch