Merge pull request #22 from dtzWill/fix/cudd_quit BddCondManager: fix deallocation to use Cudd_Quit.
Update README.md
Update setup.sh to LLVM-3.8.0
Update homepage