What kind of metrics can we gather about usage of our Jetstream2-hosted Binderhub? It would be really useful to have something to report when we submit our next allocation request. Related to #319 and #399
