Upgrade Vagrantfile for use with vagrant >=1.1

Fixes #442