Vagrant script to bring up a Mininet sandbox with some additional tools