Revert "Use the Ubuntu-provided vagrant boxes"

This reverts commit 1eb9e0560bbc61aafdd711a007fd6bc78fdb8a13.

We don't want to have all these default tools installed
Fixes `vagrant destroy` not being run