Add highlight to user via [highlight] button on user tagger hover info

Adds a "highlight" button to the user tagger's hover info which, when clicked, highlights the hovered user with colors set in preferences, blue-purple by default.

Partially addresses #343 
P.S. Don't mind my blatant cross-module dependency.