use K version from deps/k_release for integration tests#3594

jberthold merged 3 commits intomasterruntimeverification/haskell-backend:masterfrom

3583-use-correct-version-for-integration-testsruntimeverification/haskell-backend:3583-use-correct-version-for-integration-testsCopy head branch name to clipboard