Do not build test programs in CUDD
Merge branch 'development' into revkit