use F* branch taramana_dune_3.5 for the Windows build

I could use a git submodule, but having it on `master` would
confuse Linux users, who don't need that branch. I am using
submodules on the `_release` branch, though.

This branch will no longer be needed once I switch to the
official opam 2.2 Windows build, which most likely requires
a Z3 upgrade.

src/package/package.sh

@@ -114,7 +114,12 @@ make_everparse() {
         elif find_fstar="$(which fstar.exe)" ; then
             export FSTAR_HOME=$(fixpath "$(dirname $find_fstar)"/..)
         else
-            git clone https://github.com/FStarLang/FStar
+            if $is_windows ; then
+                fstar_branch_opt="--branch taramana_dune_3.5"
+            else
+                fstar_branch_opt=
+            fi
+            git clone $fstar_branch_opt https://github.com/FStarLang/FStar
             export FSTAR_HOME=$(fixpath $PWD/FStar)
         fi
     else