Java backend: make it deterministic
included (modified) kool-typed-dynamic.k and test programs for the Java backend in the repo
test/config: included all test programs of kool-typed-dynamic for the Java backend into the regression test suite
test/config: exclude threads_05.simple which causes infinite-loop in the Java backend