Diagnostics

The language server has support for diagnostics, highlighting errors/warnings reported by Sphinx.