Update dependency: haskell-backend/src/main/native/haskell-backend (r…

…untimeverification#1898)

* haskell-backend/src/main/native/haskell-backend: c160d484 - Update evm test generation script (runtimeverification#2513)

* haskell-backend/src/main/native/haskell-backend: e4457b23 - Update dependency: deps/k_release (runtimeverification#2512)

* haskell-backend/src/main/native/haskell-backend: 38dd2e25 - Avoid detached HEAD in Update workflow on push events (runtimeverification#2517)

* haskell-backend/src/main/native/haskell-backend: 47bfdc78 - Update dependency: deps/k_release (runtimeverification#2519)

* haskell-backend/src/main/native/haskell-backend: 7b1a0bde - kore-repl: improve exception handling (runtimeverification#2514)

* haskell-backend/src/main/native/haskell-backend: ff35eb73 - Update dependency: deps/k_release (runtimeverification#2524)

* haskell-backend/src/main/native/haskell-backend: 85800442 - Export prelude.kore in Nix (runtimeverification#2522)

* haskell-backend/src/main/native/haskell-backend: 32d6090b - Add a script to time execution steps (runtimeverification#2527)

* haskell-backend/src/main/native/haskell-backend: ac340731 - Update dependency: deps/k_release (runtimeverification#2534)