#1186 CIF/BDD: CifBddReachability.printSaturationMatrix takes extra domains/varsets into account

• Best to review per commit.
• No end-user visible changes.
• Changes:
  • CifBddSpec.getBddVarNames returns names without new lines in them. BddUtils.printDot inserts the new lines, as it needs them. Other uses don't need the new lines.
  • CifBddReachability.printSaturationMatrix now takes extra domains/varsets into account.

Closes #1186 (closed)