have mgmt cluster prometheus push metrics to Thanos directly via the local thanos-receive service

For the management cluster, having Prometheus push metrics to Thanos directlty to the Thanos Kubernetes service will be more efficient than doing that via an nginx-proxy Ingress.