ajout des fichiers vagrant au gitignore