Ignore Vagrant

- Developers should have the chance to use Vagrant if they wish (and not be affected by Git's wanting to pick up the configs)