Use python314 instead of python314Full (removed in nixpkgs)

Author: masad-frost

replit.nix

@@ -2,7 +2,7 @@
 {pkgs}: {
   deps = [
     pkgs.gdb
-    pkgs.python314Full
+    pkgs.python314
     pkgs.clang
   ];
 }

scripts/ci_check.sh

@@ -1,5 +1,5 @@
 #! /usr/bin/env nix-shell
-#! nix-shell -i bash -p clang python314Full gnumake
+#! nix-shell -i bash -p clang python314 gnumake
 
 set -e