First of the Joomlatools Vagrant Box is intended as a local development environment on Mac (and on Windows). Our team exclusively uses Mac at Joomlatools. We don't develop on Unix/Linux so Docker would offer not much of a benefit to us. We need to boot up Vagrant on Mac anyway to run Docker.
To add to that. We started with Vagrant years ago, long before Docker become "hot". We haven't had a need to evolve to Docker as Vagrant solves our problem quite nicely (as Oli explained in more detail).
Our Joomlatools developer tools are things we use ay Joomlatools and we make freely available to the community. We don't have a need for Docker and also no time at the moment to build a solution just because we can. If anyone is interested to do so we are most happy to offer our help, or if you want you can sponsor our team to build this.
Happy coding!
Johan