Grafana: Enable anonymous access

Pull prometheus image from quay.io

To avoid docker.io pull limits

Move Prometheus config to directory volume

This more closely resembles what one would do on Kubernetes with a
`ConfigMap`.

Add histrogram example

Add script to generate time series

The text import format supports specifying a time stamp [1]. Use this to
generate a time series for thing_count and thing_failures.

    ./things-series  > http/metrics
    podman pod rm -f learn-metrics || true
    podman play kube learn-metrics.yaml

First non-trivial query from "indefinitely long lookback" counters: "How
many tests happened in the last 5 minutes?

    rate(thing_count{job="host-http"}[5m]) * 5 * 60

The re-scaling is because the natural unit is "1/s" and we want the unit
to be the same as the original counter.

[1] https://prometheus.io/docs/instrumenting/exposition_formats/

Add custom prometheus data source from host

Export http/metrics into prometheus via an intermediate web server in
the pod, and configuring it as an additional source.

You can manually provide metrics by copying http/metrics.template to
http/metrics and edit the numbers while prometheus is running.

Replace launch script with kubernetes resource

This can be deployed locally with

    podman play kube learn-metrics.yaml

Generated with

    podman generate kube learn-metrics > learn-metrics.yaml

and heavy editing/manual cleanup.

Pre-configure prometheus data source in Grafana

This mysteriously fixes the data source test "not found" error.

Run unconfigured grafana and prometheus containers

Start with `./launch.sh`, tear down with `podman pod rm -f learn-metrics`.

Prometheus explorer at http://localhost:3001 (to avoid port conflict
with Cockpit). It can list or graph simple queries like
`go_memstats_heap_objects` or `go_memstats_heap_objects[5min]`.

Metrics source at <http://localhost:3001/metrics>
<http://metrics-prometheus:9090/metrics> (in grafana container).

Grafana UI at <http://localhost:3000>, log in as admin:foobar. Manually
add Prometheus data source at <http://metrics-prometheus:9090/metrics>.

This fails with "HTTP Error Not Found" with "Server" access (which is
usually what you want -- "Browser" access fails on CORS).