.gitignore now ignores Vagrantfiles