Failed tests on building

[sovesti]

195 tests failed on building with Gradle: mostly they caused by
java.lang.RuntimeException at LogicTests.java:123
but there are few others like
org.junit.ComparisonFailure at LogicsBadPath.java:26
java.lang.RuntimeException at LogicsBadPath.java:14
java.lang.AssertionError at RunTests.java:28
and
java.lang.NullPointerException at FileTests.java:44

[mmuesly]

I maintain a recently updated version of the Gradle build running in CI: https://github.com/tudo-aqua/jSMTLIB

@davidcok I am happy to merge this version back to the main repository, but the change in c19cd45
for the LogicTests file back to z3_4_3 make the current master branch incompatible with the Gradle build running all tests on the shipped Z3 4.8.5 binaries. Fell free to ping me, if you are interested in merging back my GitHub Actions with the Gradle build to your main repository.