#706 CIF data-based synthesis: rename 'spec' package classes
- Best to review per commit.
- Renamed class in the
spec
package that represent the CIF specification in BDD representations, fromSynthesis*
toCifBdd*
. Also updates the rest of the plugin to match it. - This does not rename everything that needs to be renamed in the plugin, but focuses on the specification representation, and what refers to or uses that.
Addresses #706 (closed)