feat: add DNS resolution functions to the standard library

[algebraic-dev]

This PR adds DNS functions to the standard library

[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 3854ba87b6b06f8653ed8caa49a82b0dda5a664b --onto ca9b3eb75f3f794d3d526a7c37da389175b317a2. You can force Mathlib CI using the force-mathlib-ci label. (2025-05-16 16:45:04)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 3854ba87b6b06f8653ed8caa49a82b0dda5a664b --onto efe2ab4c04e81fe2a3edcc0d861449490b4431b2. You can force Mathlib CI using the force-mathlib-ci label. (2025-05-20 23:10:57)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 21846ebdf81a53feb304f4f2097f512de704a0e0 --onto 4eccb5b4792c270ad10ac059b9672a8845961079. You can force Mathlib CI using the force-mathlib-ci label. (2025-05-24 00:37:57)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 21846ebdf81a53feb304f4f2097f512de704a0e0 --onto 3af9ab64ed79a667fb8989f7a0c258b018aba371. You can force Mathlib CI using the force-mathlib-ci label. (2025-05-27 23:50:47)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 21846ebdf81a53feb304f4f2097f512de704a0e0 --onto 72141b05fd9a3328c1e5d99211dc4da4495cbd42. You can force Mathlib CI using the force-mathlib-ci label. (2025-05-31 00:58:49)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 21846ebdf81a53feb304f4f2097f512de704a0e0 --onto 0339cd2836fb6f08c4d1e2d2338ed10860a0e081. You can force Mathlib CI using the force-mathlib-ci label. (2025-06-02 22:30:08)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 21846ebdf81a53feb304f4f2097f512de704a0e0 --onto 0f4459b42c87d7712391e6d87160da3077fff671. You can force Mathlib CI using the force-mathlib-ci label. (2025-06-03 15:53:32)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 21846ebdf81a53feb304f4f2097f512de704a0e0 --onto 9b9dd8546a123d746580649b239f26c26d370d20. You can force Mathlib CI using the force-mathlib-ci label. (2025-06-09 17:28:46)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 21846ebdf81a53feb304f4f2097f512de704a0e0 --onto db499e96aac8ad654c8ed5ab40c4e6885d38c9a1. You can force Mathlib CI using the force-mathlib-ci label. (2025-06-21 00:46:50)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 21846ebdf81a53feb304f4f2097f512de704a0e0 --onto d3dda9f6d4428a906c096067ecb75e432afc4615. You can force Mathlib CI using the force-mathlib-ci label. (2025-06-26 14:29:36)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 9bf5fc2fd3771291589a95e764d5b1fce02927b7 --onto d3dda9f6d4428a906c096067ecb75e432afc4615. You can force Mathlib CI using the force-mathlib-ci label. (2025-06-26 14:54:04)

[TwoFX]

Looks good. Would you mind opening an issue here on the Lean repo that we still need to implement the punycode conversion?