Add a new `make -C doc alldeps` target to install Documenter (#58504)
This adds a new `alldeps` target to `make -C doc` that also downloads
the Documenter.jl dependency. The motivation here is to make sure to
have all dependencies necessary for running the doctests in an
environment that may not have network connectivity (e.g. the OpenAI
Codex sandbox).