Update Vagrant Files

The latests versions of vagrant use a different file syntax.