#1228 SynthesisToCifConverter.prepareBddToCif: set proper list type.

• Changes are in principle not end-user visible, unless users use .cifx files:
• Changes:
  • SynthesisToCifConverter.prepareBddToCif: set proper list type. nodesListExpr gets a type ref to nodesTypeDecl. It then has a proper array type, rather than a non-array list type.
  • SynthesisToCifConverter: improve a JavaDoc.

Closes #1228 (closed)