#706 CIF data-based synthesis: more renaming and splitting synthesis/non-synthesis parts

• Best to review per commit.
• Most notable changes:
  • Made more functionality reusable (preprocessing, BDD factory creation, BDD statistics configuration + printing/writing).
  • Made precondition check for non-determinism more configurable.
  • Create settings earlier, and use settings rather than options.
  • Split synthesis settings from CIF/BDD settings.
  • Split synthesis statistics from CIF/BDD statistics, athough there is some overlap since Java enums don't inheritance.
  • Removed synthesis-related terminology/references/etc in non-synthesis parts.

Addresses #706 (closed)