ci: make the referenced windows-install-sqlite.bat exist and runnable

.gitattributes

@@ -2,3 +2,5 @@
 *.vv linguist-language=V text=auto eol=lf
 *.vsh linguist-language=V text=auto eol=lf
 **/v.mod linguist-language=V text=auto eol=lf
+# Batch files are only ever run by cmd.exe, which expects CRLF endings.
+*.bat text=auto eol=crlf

.github/workflows/ci.yml

@@ -106,13 +106,15 @@ jobs:
         uses: actions/checkout@v4
         with:
           path: gitly
-      - name: Install SQLite
-        run: |
-          .github\workflows\windows-install-sqlite.bat
-          dir thirdparty\sqlite\
       - name: Build V
         run: |
           ./make.bat -gcc
+
+      # Must come after "Build V": this used to run first, when neither `v`
+      # nor `v.exe` existed, so the referenced script could not work at all.
+      - name: Install SQLite
+        run: .github\workflows\windows-install-sqlite.bat
+
       - name: Compile gitly
         run: |
           dir

.github/workflows/windows-install-sqlite.bat

@@ -0,0 +1,9 @@
+@echo off
+REM ci.yml originally called this before V was built, when neither `v` nor
+REM `v.exe` existed yet, so the script could not delegate to V's own
+REM downloader. It is now run after "Build V" and shells out to the
+REM installer V ships, which verifies both the size and the SHA3 of the
+REM amalgamation instead of trusting a pinned checksum maintained by hand.
+.\v.exe run vlib\db\sqlite\install_thirdparty_sqlite.vsh
+if errorlevel 1 exit /b 1
+dir thirdparty\sqlite\