[Hol-info] Fixing HOL Light

[Phil S. <phi...@ed...>]

When a theorem is proven and HOL Light announces "no subgoals", there is no jingle. or musical fanfare. Please fix.

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.