Update dependency: deps/k_release (#43)

Update `kframework` to `7.1.257`.
* Includes update according to runtimeverification/k#4808

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>

Author: 3 people

deps/k_release

@@ -1 +1 @@
-7.1.247
+7.1.257