add VagrantFile