isIgnoredFile returns true if the given filename (which must not have a directory path ahead of it) should be ignored as e.g.

DiagnosticSource differentiates different sources of diagnostics.