Add .vagrant to .gitignore.

Because the Vagrantfile is now in the top-level directory, the
.vagrant directory also gets created in the top-level directory.
Merge pull request #697 from toffer/add-vagrant-to-gitignore

Add .vagrant to .gitignore.