Update HOL Light to rev195.  Simplify the build of hol_light_gcs.