update hol_verification for new set theory
delete some old stuff from hol_verificationScript.sml