Generic hover service support#11869

msujew merged 3 commits intomastereclipse-theia/theia:masterfrom

msujew/generalize-hover-managereclipse-theia/theia:msujew/generalize-hover-managerCopy head branch name to clipboard