Update dependency: deps/k_release#49

tothtamas28 merged 9 commits into

masterruntimeverification/imp-semantics:masterfrom

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