HOL-Light: Update HOL-Light to 2025-09-22

- Update HOL-Light from unstable-2024-12-22 to unstable-2025-09-22
- This aligns with the version used in mlkem-native and ensures
  compatibility with the HOL-Light patches ported from mlkem-native
- The newer version includes HOL_ML_PATH support which is required
  for the interactive shell configuration in commit 57f6642

Changes between two versions of hol-light:
- Added HOL_ML_PATH variable support for custom hol.ml files
- Updated hol_4.14.sh and hol_4.sh to use HOL_ML_PATH

This resolves the patch application failure when building the
hol_light nix shell.

Signed-off-by: willieyz <[email protected]>

Author: willieyz

nix/hol_light/default.nix

@@ -7,13 +7,14 @@ hol_light.overrideAttrs (old: {
   setupHook = writeText "setup-hook.sh" ''
     export HOLDIR="$1/lib/hol_light"
     export HOLLIGHT_DIR="$1/lib/hol_light"
+    export PATH="$1/lib/hol_light:$PATH"
   '';
-  version = "unstable-2024-12-22";
+  version = "unstable-2025-09-22";
   src = fetchFromGitHub {
     owner = "jrh13";
     repo = "hol-light";
-    rev = "0e4b1bd8c7d400214d6fa6027f15a4221b54f8d4";
-    hash = "sha256-M6ddzqoAFyMBmaznuz31+o035xdEz4VXZMHhH4Dm4c8=";
+    rev = "bed58fa74649fa74015176f8f90e77f7af5cf8e3";
+    hash = "sha256-QDubbUUChvv04239BdcKPSU+E2gdSzqAWfAETK2Xtg0=";
   };
   patches = [
     ./0005-Configure-hol-sh-for-mldsa-native.patch