Consistent names for focusing on annotations

Consistently use "focus" for describing what we do with the highlights in the document when the user hovers the mouse pointer over the corresponding annotation card.

(As per terminology recently finalized while discussing https://github.com/hypothesis/h/issues/1728 and https://github.com/hypothesis/h/issues/1729)