Update HOL Light to revision 154
Update HOL Light to revision 155