prometheus: 3.0.1 -> 3.1.0; document prometheus upgrade (#379084)

- The default version of `z3` has been updated from 4.8 to 4.13. There are still a few packages that need specific older versions; those will continue to be maintained as long as other packages depend on them but may be removed in the future.

- `prometheus` has been updated from 2.55.0 to 3.1.0.

  Read the [release blog post](https://prometheus.io/blog/2024/11/14/prometheus-3-0/) and

  [migration guide](https://prometheus.io/docs/prometheus/3.1/migration/).

- `kanata` was updated to v1.7.0, which introduces several breaking changes.

  See the release notes of

  [v1.7.0](https://github.com/jtroo/kanata/releases/tag/v1.7.0)

}:

let

  version = "3.0.1";

  version = "3.1.0";

  webUiStatic = fetchurl {

    url = "https://github.com/prometheus/prometheus/releases/download/v${version}/prometheus-web-ui-${version}.tar.gz";

    hash = "sha256-MP7B7gVRQnspXLLNmPH8t3DYKbsQkDV9hPJYbM2rB9M=";

    hash = "sha256-05DaaDIFtADnkLFqdHe5eUvo6LRz6BduMvGVmzOeurM=";

  };

in

buildGoModule rec {

  src = fetchFromGitHub {

    owner = "prometheus";

    repo = "prometheus";

    rev = "v${version}";

    hash = "sha256-dN6ckW451G45ZO7baY7H4qEf88ZDeISZwZ3uwWPZsW8=";

    tag = "v${version}";

    hash = "sha256-Q3f0L6cRVQRL1AHgUI3VNbMG9eTfcApbXfSjOTHr7Go=";

  };

  vendorHash = "sha256-c96YnWPLH/tbGRb2Zlqrl3PXSZvI+NeYTGlef6REAOw=";

  vendorHash = "sha256-vQwBnSxoyIYTeWLk3GD9pKDuUjjsMfwPptgyVnzcTok=";

  excludedPackages = [

    "documentation/prometheus-mixin"