Correct gitignore entry for Vagrantfile-extra.rb

Change-Id: I32cd7bde2e888bbc823fc5ef1b26174963d91619
Merge "Correct gitignore entry for Vagrantfile-extra.rb"