#1176 CIF/BDD custom var order parser: fix regex creation from filter.

• Best to review per commit.
• End-user visible changes:
  • The CIF data-based synthesis custom variable ordering (for both the basic and advanced options) no longer crashes or produces invalid results for name patterns with characters that have a special meaning in Java regular expressions.
  • Fixed the error message that is shown for by the CIF data-based synthesis tool if an invalid custom BDD variable order is used.
• Other changes:
  • Introduced CifTextUtils.getRegExForCifNamePattern for creating the regular expressions. We can reuse it in other places as well, to fix similar issues (new issue to be created later).
  • Introduced Strings.makeInitialLower.

Closes #1176 (closed)