Predefined Vagrantfile for Vagrant boxes