#1180 #1181 #1131 Add GUI connection to the multi-level application.

• End-user visible changes:
  • The CIF toolset now includes a new tool, the multi-level splitter. It can be used to splits a CIF specification into a multi-level tree of smaller co-operating partial specifications. The partial specifications can individually typically be synthesized more efficiently than the entire specification. The resulting supervisors synthesized from the partial specifications can then together be used to control the system.
• Other changes:
  • Multilevel splitter:
    • Various changes to make it a multi-level splitter tool, rather than a multi-level synthesis tool, as it doesn't actually perform synthesis.
    • Various multi-level splitter improvements, such as JavaDoc/comment, console output improvements, improvements to generated ToolDef script, etc.
    • Fixed manifest dependency not having a bundle version, fixing a warning.
    • Made the tool available via a UI action, ToolDef tool in the CIF ToolDef library, and a command line application.
    • Improved multi-level splitter test ToolDef script, making use of the officially defined ToolDef tool, and reducing output in case the tool crashes for a test (addressing #1131).
  • CifToBddConverter: JavaDoc/comment improvements.
  • Added Strings.makeAllElementsText, besides makeElementsChoiceText.
  • Added Strings.adjustForPlurals.

Closes #1180 (closed) Addresses #1131 Addresses #1181 (closed)