Standalone termite build#15

Open

davidcock wants to merge 6 commits intotermite2:masterfrom

davidcock:update_paths

Commits on Oct 20, 2014

Switched submodules to HTTPS github URLs
davidcock
committed

Commits on Oct 21, 2014

Merge branch 'master' of github.com:termite2/Termite into update_paths
davidcock
committed

Commits on Oct 23, 2014

Commits on Oct 24, 2014

Updated cudd version
davidcock
committed