Update dependency: deps/k_release

[rv-jenkins]

No description provided.

[juliankuners]

As k-framework was migrated from poetry to uv, the poetry2nix nix flake input has to be specified in evm-semantics instead. Additionally, the pyk nix derivation that was included into the poetry overrides in this nix flake cannot be included anymore as such, because it is build with pyproject-nix instead of with nixpkgs buildPythonProject. This on one hand does not pose an issue, as kframework as released on pypi. On the other hand, specifying the pyk nix derivation in the overrides had the side effect that python package versions that were specified in poetry.lock were overridden by python package versions used by pyk. And pyk, in contrast to other repositories, has no CI workflows setup that update python dependencies regularly. As such, removing the pyk nix derivation caused the evm-semantics python project to suddenly use the much newer python packages specified in the poetry lock file. This causes the same kind of issue that we ran into before, because we have a stale revision of nixpkgs. I added patches in the nix derivation to temporarily fix these issues. We should look to either migrate to a new revision of nixpkgs or to migrate to uv2nix soon.

[juliankuners]

Also, the build failure in the proofs workflow probably requires poetry to be updated to a newer version in the docker image. Will check after CI ran again and add a respective commit.