[polybori/f17] (3 commits) ...BR cudd-devel now that we are using the system version again.

[Jerry James]

Summary of changes:

  8ae9d50... New upstream release. Fix desktop file. Build no longer suc (*)
  2a0452b... Ability to use the system CUDD restored thanks to upstream' (*)
  dc15c95... BR cudd-devel now that we are using the system version agai (*)

(*) This commit already existed in another branch; no separate mail sent