Speed up lake exe cache get on Windows

Stream: lean4

[Floris van Doorn]

I saw this video a while back about performance improvements in rustup on Windows:
"NTFS really isn't that bad" - Robert Collins (LCA 2020) https://www.youtube.com/watch?v=qbKGw8MQ0i8
I wonder if any ideas from that video are useful for the performance of lake exe cache get. There are many similarities between the lake cache and the problems in that video (copying many small files, anti-virus makes the problem worse, ...), but there seem to be quite a lot of tips to improve the situation (and that also improved the performance on NFS). I do not have the technical knowledge to know which ones do and do not apply to the lake cache.

[Floris van Doorn]

(I moved this from another thread)