[PATCH] [RFC] tools: drop vagrant

[Stephen Finucane]

On Sat, 2018-02-24 at 12:22 +1100, Daniel Axtens wrote:
> It served us well, but it's now outdated (Trusty, Python 3.4, etc)
> There is no indication that anyone uses it or keeps it up to date.
> 
> Signed-off-by: Daniel Axtens <dja at axtens.net>

I'm good to drop this. I've been using Docker exclusively for a while
now too.

Acked-by: Stephen Finucane <stephen at that.guru>