Vagrantfile for vagrant dev [GH-4089]