Add Big Indexer MCP server to the Developer Tools section. Co-authored-by: Gemini <noreply@google.com>