Update HOL Light to rev 197