treewide: Remove minecraft server

This has fallen into disuse since the big Java vulnerability, and I
have ideas for better ways of doing this. Meanwhile it's making
maintenance and refactoring more difficult.

Hence I'll remove the server completely for the time being.

flake.nix

@@ -44,7 +44,6 @@
           tlaternet-templates.legacyPackages.${prev.system}.packages;
         local = import ./pkgs {
           pkgs = prev;
-          local-lib = self.lib.${prev.system};
         };
       })
     ];
@@ -118,29 +117,6 @@
           nixfmt
           git-lfs
           sops-init-gpg-key
-
-          # For the minecraft mod update script
-          (python3.withPackages (pypkgs:
-            with pypkgs; [
-              dateutil
-              requests
-
-              ipython
-
-              python3.withPackages
-              (ppkgs:
-                with pkgs; [
-                  python-lsp-server
-                  python-lsp-black
-                  pyls-isort
-                  pyls-mypy
-                  rope
-                  pyflakes
-                  mccabe
-                  pycodestyle
-                  pydocstyle
-                ])
-            ]))
         ];
         shellHook = let
           inherit (pkgs.lib.attrsets) mapAttrsToList;
@@ -167,14 +143,6 @@
         '';
       };
 
-      packages = import ./pkgs {
-        inherit pkgs;
-        local-lib = self.lib.${system};
-      };
-
-      lib = import ./lib {
-        inherit pkgs inputs;
-        lib = nixpkgs.lib;
-      };
+      packages = import ./pkgs {inherit pkgs;};
     });
 }