Small corrections to Vagrantfile and .gitignore