Update HOL Light to rev 157