[PATCH v4 7/8] doc: add ide_integration.rst to doc/develop