Feature/improve performance #40

Improve UI performance by skipping tasks in the processing queue of HtmlPreviewGenerator
and HighlightWorkerThread. We also introduce a delay in the processing in order to
see if more tasks are coming (e.g. because the user is typing fast).