#917 CIF controller properties checker: app/lib split, class moves, etc

• Last step for #917 (closed).
• Changes are not end-user visible.
• Changes for the issue:
  • Moved some classes to different packages.
  • Finalized application/library split.
  • Some code improvements.
• Changes not directly related to the issue:
  • DirectedGraphCycleFinder: termination check improvements.
    • BooleanSupplier -> Supplier<Boolean>, like in other code.
    • isTerminationRequested -> shouldTerminate, like in other code.
    • No null values, like in other code.
  • Updated DSM sequencing code for cycle finder changes.
• Best to review per commit (but some things take multiple commits, one after the other).

Closes #917 (closed)