Update hol-light scripts for recent changes to HOL

Specifically, move some OpenTheory mappings into HOL, and deal with the
removal of EVERY2.