#1185 Prevent crashes for CIF name patterns when certain characters are used

• Best to review per commit.
• End-user visible changes:
  • CIF data-based synthesis no longer crashes on invalid custom edge order name pattern. (Fixed in general for CifToBddConverter.orderEdgesForDirection, but CIF controller properties checker doesn't yet allow to configure this.)
• Other changes:
  • Removed obsolete CIF integration test output files.
  • For consistency only, also adapted InteractiveAutoChooseOption, NonUrgentEventsOption and RuntimeStateFilterer in the CIF simulator. They did not crash, like in other places. Added getRegExForCifNamePattern variant that allows derivatives, for use by RuntimeStateFilterer.

Closes #1185 (closed)