editor tooltip CSS tweaking
move hover service call from editor.js to tooltip.js;
cleanup hover proposal unused code;
allow synchronous and asynchronous hover info extensions;
make renderQuickFixes and renderMarkdown code consistent;