small tweak to .gitignore for Vagrant 1.1