[PATCH] [RFC] tools: drop vagrant

[Stephen Finucane]

On Sun, 2018-02-25 at 11:54 +0000, Stephen Finucane wrote:
> 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>

I've applied this now.