Limit diagnostics to 12000

Some LSP servers tend to send thousands upon thousands of diagnostics
due to some misconfiguration or other reason. This ends up freezing
or really slowing down Kate. We can optimize our model more by
debouncing things a bit and maybe using a custom tree model but one
has to think about the usefulness of such large number of diagnostics in
the first place.