logic: lazy load code annotations

* code annotations are loaded after showing the code file
* added traces
* refactored highlighter
* fixed error tooltip style in codeview

fortune cookie message = It's not the time that counts, but what you do with it.

src/lib_gui/qt/element/QtCodeNavigator.cpp

@@ -140,6 +140,11 @@ void QtCodeNavigator::addCodeSnippet(const CodeSnippetParams& params)
 	}
 }
 
+void QtCodeNavigator::updateCodeSnippet(const CodeSnippetParams& params)
+{
+	m_current->updateCodeSnippet(params);
+}
+
 void QtCodeNavigator::addFile(std::shared_ptr<SourceLocationFile> locationFile, int refCount, TimeStamp modificationTime)
 {
 	bool firstFile = m_references.size() == 0;