#706 CIF data-based synthesis: rename 'spec' package classes
- Best to review per commit.
- Renamed class in the
specpackage 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)