Kani helm chart

### Welcome!

- [X] I have checked for similar issues on [GitHub](https://github.com/HyperaDev/kani/issues).

### Problem

There are currently no Helm charts that can be used to deploy Kani in a Kubernetes cluster.

### Suggested solution

I think it could be useful if we provided an "official" Kani helm chart which could be used to easily deploy Kani.

### Additional information

_No response_