#706 Move CIF/BDD-related classes from synthesis to a new CIF/BDD plugin.
- Best to review per commit.
- Introduced
org.eclipse.escet.cif.bdd
package. Moved the relevant classes to it. Improved the package structure a bit. Updated everything else as a result of the moves. - Last change for #706 (closed). Work continues in higher-level issue #269.
Closes #706 (closed)