feat: add k8s prover cluster

[lispc]

the cluster can be split into two parts:

1. prover cluster. It should be elastic. we can use k8s for this. Some cloud providers give us serverless elastic k8s. https://www.alibabacloud.com/help/doc-detail/86377.htm Even deploying prover cluster on Aliyun and other parts on AWS is ok. I suggest using k8s for proving even for an early stage testnet product. ( Late July ? Aug ? )
2. other processes. They can be managed manually at least for a while.

We can even setup single-node local k8s using https://github.com/kubernetes-sigs/kind . So user can still run run.sh to launch all the stuff.

( So in run.sh, if some env var like K8S_ENDPOINT is not null, the script deploy prover cluster ( master / slave / db ) into that k8s, if K8S_ENDPOINT is null, launch local k8s using Kind, and deploy prover cluster into it.
Then the rollup will insert records into the db in k8s.