Make the highlighter look fast by calling processEvents after a few line has been highlighted

This does not solve the performance issue with QSyntaxHighlighter (not sure it is even possible to solve) but at least it looks faster.