Add vanilla Vagrantfile