chore(Cache): add BatteriesRecycling to isPartOfMathlibCache (#40366)

This is needed for the toolchain bump in #40358.

There, the cache verification step was failing because oleans for the new `BatteriesRecycling` module (added in leanprover-community/batteries#1792) were not being uploaded. This needs to be done in a separate PR because the cache verification step uses the toolchain from `master`.

Author: bryangingechen

Cache/IO.lean

@@ -29,6 +29,7 @@ TODO: write a better predicate. -/
 def isPartOfMathlibCache (mod : Name) : Bool := #[
   `Mathlib,
   `Batteries,
+  `BatteriesRecycling,
   `Aesop,
   `Cli,
   `ImportGraph,