feat: use libuv for tempfiles

[hargoniX]

This is currently broken because of linker issues. CC @TwoFX

[leanprover-community-mathlib4-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 74715a0f9c1713d2bff020be9b0c59eb38ed9c49 --onto 481894e95dddebfa9d4d0397899830a06b963ac7. (2024-08-22 13:47:01)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase a5162ca7489bfdbf1a2851cffd8fdcca9d2b9b56 --onto adfd6c090ef7d6bdcc8f69c5dd6f919b1b71cab3. (2024-09-12 11:50:18)

[leanprover-community-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase a5162ca7489bfdbf1a2851cffd8fdcca9d2b9b56 --onto 5e8718dff9d7906e1d4ca7020256dae7c05e49c2. (2024-10-01 08:18:06)

[TwoFX]

I would appreciate if @Kha could sign off on these rather invasive changes.