Minor updates to .gitignore and Vagrantfile -