Update dependency: deps/k_release (#756)

adds `--simplify-each` to RPC server controls

Author: rv-jenkins

deps/k_release

@@ -1 +1 @@
-7.1.299
+7.1.300

flake.lock

@@ -12,7 +12,7 @@
       inputs.flake-utils.follows = "flake-utils";
     };
 
-    k-framework.url = "github:runtimeverification/k/v7.1.299";
+    k-framework.url = "github:runtimeverification/k/v7.1.300";
     k-framework = {
       inputs.flake-utils.follows = "flake-utils";
       inputs.nixpkgs.follows = "nixpkgs";

flake.nix

@@ -8,7 +8,7 @@ version = "0.3.181"
 description = ""
 requires-python = ">=3.10"
 dependencies = [
-    "kframework==v7.1.299",
+    "kframework==v7.1.300",
     "rust-demangler==1.0",
 ]