Add `vagrant/Makefile.ini` to the list of ignored files
since developers will have to override it with their own copy
from devconfig/vagrant-files/Makefile.ini in order to test