Added vagrant script for creating VM

Follows instructions from pyretic VM, but programmatically!

Author: reitblatt

vagrant/Vagrantfile

@@ -0,0 +1,41 @@
+# -*- mode: ruby -*-
+# vi: set ft=ruby :
+
+# Vagrantfile API/syntax version. Don't touch unless you know what you're doing!
+VAGRANTFILE_API_VERSION = "2"
+
+Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
+  # All Vagrant configuration is done here. The most common configuration
+  # options are documented and commented below. For a complete reference,
+  # please see the online documentation at vagrantup.com.
+
+  config.vm.box = "saucy64"
+
+  # The url from where the 'config.vm.box' box will be fetched if it
+  # doesn't already exist on the user's system.
+  config.vm.box_url = "http://cloud-images.ubuntu.com/vagrant/saucy/current/saucy-server-cloudimg-amd64-vagrant-disk1.box"
+
+  config.vm.provision :shell, :path => "bootstrap.sh"
+  config.vm.provision :shell, privileged: false, :path => "setup-mininet.sh"
+  config.vm.provision :shell, privileged: false, :path => "setup-pox.sh"
+  config.vm.provision :shell, privileged: false, :path => "setup-pyretic.sh"
+  config.vm.provision :shell, privileged: false, :path => "clean-shutdown.sh"
+
+  # Create a forwarded port mapping which allows access to a specific port
+  # within the machine from a port on the host machine. In the example below,
+  # accessing "localhost:8080" will access port 80 on the guest machine.
+  # config.vm.network :forwarded_port, guest: 80, host: 8080
+
+  # If true, then any SSH connections made will enable agent forwarding.
+  # Default value: false
+  # config.ssh.forward_agent = true
+
+  config.vm.provider :virtualbox do |vb|
+    # Don't boot with headless mode
+    # vb.gui = true
+  
+    # Use VBoxManage to customize the VM. For example to change memory:
+    vb.customize ["modifyvm", :id, "--memory", "4096"]
+  end
+  
+end

vagrant/bootstrap.sh

@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+
+apt-get update
+apt-get install -y python-software-properties  build-essential m4 python-networkx wireshark git

vagrant/clean-shutdown.sh

@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+# To be run before creating a VM image to share (to reduce space usage)
+
+sudo cat /dev/zero > zero.fill; sudo sync; sleep 1; sudo sync; sudo rm -f zero.fill
+sudo shutdown -h now

vagrant/setup-mininet.sh

@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+git clone git://github.com/mininet/mininet
+pushd mininet
+git checkout -b 2.1.0 2.1.0
+# Install reference switch, kernel module, wireshark disector, openvswitch, mininet
+. util/install.sh -fmwvn

vagrant/setup-pox.sh

@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+git clone https://github.com/noxrepo/pox.git
+pushd pox
+git checkout bab636b

vagrant/setup-pyretic.sh

@@ -0,0 +1,24 @@
+#!/usr/bin/env bash
+
+sudo apt-get install -y python-dev python-pip screen hping3
+sudo pip install networkx bitarray netaddr ipaddr pytest ipdb 
+
+wget https://raw.github.com/frenetic-lang/pyretic/master/pyretic/backend/patch/asynchat.py
+sudo mv asynchat.py /usr/lib/python2.7/
+sudo chown root:root /usr/lib/python2.7/asynchat.py 
+
+
+git clone https://github.com/git/git.git
+pushd git/contrib/subtree/
+git checkout v1.8.4
+make
+sudo install -m 755 git-subtree /usr/lib/git-core
+popd
+rm -rf git
+
+git clone git://github.com/frenetic-lang/pyretic.git
+
+echo "export PATH=$PATH:$HOME/pyretic:$HOME/pox\
+ export PYTHONPATH=$HOME/pyretic:$HOME/mininet:$HOME/pox" >> ~/.profile
+
+wget http://frenetic-lang.org/pyretic/useful/.screenrc