Update the vagrant configuration file to more recent versions of vagrant
Update the vagrant configuration file to more recent versions of vagrant

nirvanesque/g5k-api,nirvanesque/g5k-api,nirvanesque/g5k-api,nirvanesque/g5k-api