pageserver: batching observability

[VladLazar]

#9321 introduced batching of get page requests.
One get vectored request handles the entire batching.

However, metrics were skipped. Figure out what metrics we want and add them.
One idea is histogram for batch sizes (how granular do we need it?)