Added vagrant files for 1.3 vm
Fix typo in mininet provisioning. Add wireshark to VM.
Added private vagrant dir .vagrant/ to .gitignore
cps-local: Make of_policy and of_pred CPS (stolen from 60e4d02).
Merge pull request #203 from frenetic-lang/cps-local

cps-local: Make of_policy and of_pred CPS (stolen from 60e4d02).
Merge pull request #204 from frenetic-lang/formatting

formatting: More formatting options for local dump.
capitalize OCamlbuild properly
regenerate oasis files
merge adferguson-oasis_fix
Give the VM a reasonable amount of memory
tests flag now builds quickcheck as well. Closes #207.
Merge pull request #208 from frenetic-lang/remove-quickcheck-flag

tests flag now builds quickcheck as well. Closes #207.
Fix pretty printing in katnetic
Use Format module special characters correctly
Remove old Dehop classic code
Extend parser with conditionals
Eliminate Dehop from katnetic
Merge pull request #202 from frenetic-lang/vagrant

Added vagrant files for 1.3 vm
Merge pull request #216 from frenetic-lang/tidy-dehop-classic

Remove old Dehop classic code
Change Printf to Format