101e1a3
Update to latest git snapshot. Also: - Add -build and -format patches. - Build with cmake. - Enable CUDD support.