Partially inline vagrantfile

Fixes #572