Add new cvc4-kind-devel port for kind branch