Hello, erobrich
Please see my comments as below for your reference. Hope it helps.
1. "vctl kind": you can execute kind commands in the pop-up window triggered by "vctl kind". eg: "kind create cluster", for kind commands, you could refer to https://kind.sigs.k8s.io/
2. Regarding to docker-machine-driver-vmware, this driver has been bundled in WS product, so you don't need to download this driver any more. eg: if you have already have minikube downloaded/configured locally, workstation could be used to help to create k8s cluster with command "minikube start --driver=vmware". For details of docker-machine-driver-vmware, you could refer to https://github.com/machine-drivers/docker-machine-driver-vmware