JBDS-3656 The installer should use Vagrantfile provided by CDK
JBDS-3638 Update to official CDK v2 release