Update HOL Light to rev 157
Merge pull request #408 from maggesi/hol_light_updates

hol_light: update to rev 157