Remove Vagrantfile.

Docker is way, way better for a disposable dev environment.
Move devbox notes to README.