Add the .vagrant/ directory to the .gitignore file

It would not do to delete the .vagrant/ directory by mistake: it
contains all the relevant information used by Vagrant to manage the
virtual machine (e.g. to enable "vagrant ssh" to find the machine).

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>