FStarLang/FStar v2025.01.17 on GitHub

What's Changed

Remove FStar.Ghost.Pull by @gebner in #3636
Staged build, new CI, new packaging by @mtzguido in #3637
nix: exposing ocamlPackages as before by @mtzguido in #3662
Makefile/opam fixes by @mtzguido in #3663
mk: removing extraneous .ml files after extracting by @mtzguido in #3664
Build improvements by @mtzguido in #3667
ci.yml: run for merge queue by @mtzguido in #3668
Tc: prevent reset of -d across modules by @mtzguido in #3669
check-friends: restoring main repos by @mtzguido in #3670
Errors: Introducing '--message_format github', for github actions by @mtzguido in #3553
src: Fix VS code config to match Makefile by @mtzguido in #3673
Preparing for a native Windows build by @mtzguido in #3674
Misc build improvements by @mtzguido in #3675
Improvements to --dep graph by @mtzguido in #3411
Refresh hints by @mtzguido in #3676
Improving Cygwin support by @mtzguido in #3642
Detecting GITHUB_ENV and autoprinting github messages by @mtzguido in #3671
Add an UnfoldOnce/delta_once normalizer step by @mtzguido in #3626
Building a Windows package by @mtzguido in #3677
Disable windows build, it amazingly already failed by @mtzguido in #3678
src: Renaming FStarC.Compiler.* -> FStarC.* by @mtzguido in #3666
Removing hints from the repo by @nikswamy in #3680
Core: debug nits by @mtzguido in #3683
Windows build (with self-hosted runner) by @mtzguido in #3684
Bump version to 2025.01.17 by @mtzguido in #3685

Full Changelog: v2025.01.07...v2025.01.17