document libide interface IdeDiagnosticProvider using gtk-doc
Submitted by Christian Hergert
We currently lack documentation for developers using the LibIDE library. We need contributors to help us document the interfaces so that we can provide quality C docs as well as generate Python versions of the documentation. Please take a look and help document the IdeDiagnosticProvider interface.