Reuse kompiled `contracts.k` and `foundry.k` in Kontrol performance test#3845

rv-jenkins merged 4 commits intomasterruntimeverification/haskell-backend:masterfrom

georgy/kontrol-pref-reuse-artifactsruntimeverification/haskell-backend:georgy/kontrol-pref-reuse-artifactsCopy head branch name to clipboard