Update dependency: deps/k_release#167

tothtamas28 merged 13 commits intomasterruntimeverification/riscv-semantics:masterfrom

_update-deps/runtimeverification/kruntimeverification/riscv-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboard