Restore lake-manifest.json to match upstream

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: tannerduve

lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "20cb067c5ae39a4c9965296a56d0789a2bc73dac",
+   "rev": "5c8398df528176d9c87ccd9226ba8f7c8852d59c",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "87f6314ff2cc922489cd73cd0fbc2252f39aa153",
+   "rev": "bd58e3506632241b59e406902d5e42b73cdeccce",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",