removing verify files (they have a new repo)
rename [Types,Util,Pretty] to NetKAT_[Types_Util,Pretty]