ajout vagrantfile