LTL checking capability

Add possibility of checking LTL properties with CEGAR.
CFA is now extended with optional accepting edges. Classes are available that convert LTL string to such CFA.

subprojects/common/ltl-cli/build.gradle.kts

@@ -15,9 +15,9 @@
  */
 plugins {
     id("kotlin-common")
-    id("cli-tool")
 }
 
 dependencies {
     implementation(project(":theta-analysis"))
+    implementation(Deps.clikt)
 }