#1227 SynthesisToCifConverter: reduce memory usage by allocating a smaller list for 'old' BDD variable algebraic variables

• Best to review per commit.
• End-user visible changes:
  • The CIF data-based synthesis tool now uses less memory when converting the synthesis result back to a CIF specification, in case the nodes BDD output mode is used.
• Detailed changes:
  • SynthesisToCifConverter: for the nodes BDD output mode, it now initializes the list of algebraic variables to create for 'old' BDD variables to the right size, rather than twice the needed size, thus reducing the memory usage for that list by half.
  • SynthesisToCifConverter: re-wrap comments to 120 chars. Only re-wrapped, no textual changes.
  • Added CifBddSpec.getBddVarCountPerDomain method.

Closes #1227 (closed)