Enable pre-kompilation of K definitions and specs#3853

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

georgy/improve-performance-tests-kevmruntimeverification/haskell-backend:georgy/improve-performance-tests-kevmCopy head branch name to clipboard