Disable install-windows job in CI

Waiting for rocq-prover/rocq#18550 to fix issue upstream

Author: rtetley

.github/workflows/ci.yml

@@ -90,6 +90,7 @@ jobs:
       run: cat /tmp/vscoq_init_log.*
 
   install-windows:
+    if: false
     runs-on: windows-latest
     steps:
     - name: Set git to use LF