add Vagrantfile (for Sven)