Set Git to ignore developer's Vagrant config files