Vagrantfile setting up a devstack installation running on docker