adding a mininet vagrant box

Change-Id: I0c89c35a9e6768b3c3640c0895d405901e38799e
diff --git a/tools/dev/vagrant/ansible/mn.yml b/tools/dev/vagrant/ansible/mn.yml
new file mode 100644
index 0000000..d682660
--- /dev/null
+++ b/tools/dev/vagrant/ansible/mn.yml
@@ -0,0 +1,5 @@
+- hosts: localhost
+  remote_user: vagrant
+  serial: 1
+  roles:
+    - mininet