ajout vagrant au gitignore