enable ocamlp4
moving Verify files into this repo
forgot to bring over verify
rename [Types,Util,Pretty] to NetKAT_[Types_Util,Pretty]