GitLab

`isearch-lazy-highlight-cleanup', add alias to old name and
declare obsolete.  Add release numbers to other obsolete vars.
(isearch-done, isearch-lazy-highlight-new-loop): Rename
`isearch-lazy-highlight-cleanup' to `lazy-highlight-cleanup'.
(lazy-highlight-cleanup) <variable>: Doc fix.
(isearch-lazy-highlight-update): Rename obsolete
`isearch-lazy-highlight-face' to `lazy-highlight-face'.