Make box name configurable in Vagrantfile

[hferentschik]

Currently we have config.vm.box = 'cdkv2' which hard codes the used box name to cdkv2 independently of the actual CDK version installed. We should make this configurable, defaulting to the current value.

This will allow more easily to switch between various versions of the CDK.