A Vagrant gns3-workstation provisioner