Added vagrant files for 1.3 vm
Fix typo in mininet provisioning. Add wireshark to VM.
Added private vagrant dir .vagrant/ to .gitignore
Give the VM a reasonable amount of memory
Merge pull request #202 from frenetic-lang/vagrant

Added vagrant files for 1.3 vm