update the hol-light README