fix: rm new shared libs before build for Windows (#5541) On Windows, shared libraries must be removed before linking. Otherwise, linking can fail with "Permission denied" when the libraries are in use. This ensures such removal is done for the new `libLake_shared.dll` and both parts of `libleanshared`.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean (documentation source: doc/make/index.md).