add Vagrantfile that sets up ubuntu with mininet.