doc: replace Std/Std4 references with Batteries#776

jcommelin merged 1 commit intoleanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

kim-em:update-std-to-batterieskim-em/leanprover-community.github.io:update-std-to-batteriesCopy head branch name to clipboard