Update poetry2nix (#4620)

Update poetry2nix as it was pinned to a version that's almost 1 year
old. This gets rid of the annoying warning

```
trace: warning: `pythonForBuild` (from `python*`) has been renamed to `pythonOnBuildForHost`
```

Also remove the pyk flake, remnant of the merger of pyk back into k

flake.nix

@@ -9,8 +9,7 @@
     };
 
     poetry2nix = {
-      url =
-        "github:nix-community/poetry2nix/626111646fe236cb1ddc8191a48c75e072a82b7c";
+      url = "github:nix-community/poetry2nix/2024.9.219347";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
 
@@ -94,9 +93,8 @@
                   "org.checkerframework:checker-qual:3.33.0"
                   "com.google.errorprone:error_prone_annotations:2.18.0"
                 ];
-                manualMvnSourceArtifacts = [
-                  "org.scala-sbt:compiler-bridge_2.13:1.8.0"
-                ];
+                manualMvnSourceArtifacts =
+                  [ "org.scala-sbt:compiler-bridge_2.13:1.8.0" ];
                 inherit (final) maven;
                 inherit (prev) llvm-backend;
                 clang = prev."clang_${toString final.llvm-version}";
@@ -210,13 +208,18 @@
             };
         };
         defaultPackage = packages.k;
-        devShells.kore-integration-tests = pkgs.kore-tests (pkgs.mk-k-framework {
-          inherit (pkgs) haskell-backend-bins;
-          llvm-kompile-libs = { };
-        });
+        devShells.kore-integration-tests = pkgs.kore-tests
+          (pkgs.mk-k-framework {
+            inherit (pkgs) haskell-backend-bins;
+            llvm-kompile-libs = { };
+          });
       }) // {
         overlays.llvm-backend = llvm-backend.overlays.default;
         overlays.z3 = haskell-backend.overlays.z3;
+        overlays.pyk = (import ./nix/pyk-overlay.nix {
+          inherit poetry2nix;
+          projectDir = ./pyk;
+        });
 
         overlay = nixpkgs.lib.composeManyExtensions allOverlays;
       };