chore(docker): drop obsolete services/mana-search/docker-compose.dev.yml

Superseded by the top-level docker-compose.dev.yml (which defines
searxng + redis as part of the unified dev stack via `pnpm docker:up`).
This per-service file was an artefact from before the unified setup
and no script / doc / README still references it.

An orphan `mana-searxng-dev` + `mana-search-redis-dev` had been running
from this file for ~2 weeks, squatting on the host's port 8080. Every
first `pnpm dev:mana:all` after a cold machine start would fail with

  Bind for 0.0.0.0:8080 failed: port is already allocated

because the top-level compose's `mana-searxng` service couldn't take
8080 while the orphan held it. The second invocation silently
"worked" — docker saw the freshly-created mana-searxng container and
skipped the bind step on the idempotent up, leaving it healthy but
only reachable inside the docker network (8080/tcp, no external
publish).

Cleanup already done out-of-band:
  docker compose -f services/mana-search/docker-compose.dev.yml down
  docker compose -f docker-compose.dev.yml up -d --force-recreate searxng

Deleting the file so a stale `docker compose -f …/mana-search/dev.yml up`
can't resurrect the orphan.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

services/mana-search/docker-compose.dev.yml

@@ -1,58 +0,0 @@
-version: '3.8'
-
-# Development setup - SearXNG and Redis only
-# Run mana-search with `pnpm dev` locally
-
-services:
-  # ================================
-  # SearXNG Meta Search Engine
-  # ================================
-  searxng:
-    image: searxng/searxng:latest
-    container_name: mana-searxng-dev
-    ports:
-      - "8080:8080"  # Exposed for development
-    volumes:
-      - ./searxng/settings.yml:/etc/searxng/settings.yml
-      - ./searxng/limiter.toml:/etc/searxng/limiter.toml
-    environment:
-      SEARXNG_BASE_URL: http://localhost:8080
-      SEARXNG_SECRET: dev-secret-change-in-production
-    networks:
-      - mana-search-dev
-    restart: unless-stopped
-    healthcheck:
-      test: ["CMD", "wget", "-q", "--spider", "http://localhost:8080/healthz"]
-      interval: 30s
-      timeout: 10s
-      retries: 3
-      start_period: 15s
-
-  # ================================
-  # Redis Cache
-  # ================================
-  redis:
-    image: redis:7-alpine
-    container_name: mana-search-redis-dev
-    ports:
-      - "6380:6379"  # Different port to avoid conflicts
-    command: redis-server --appendonly yes --maxmemory 64mb --maxmemory-policy noeviction
-    volumes:
-      - redis-dev-data:/data
-    networks:
-      - mana-search-dev
-    restart: unless-stopped
-    healthcheck:
-      test: ["CMD", "redis-cli", "ping"]
-      interval: 10s
-      timeout: 5s
-      retries: 3
-
-volumes:
-  redis-dev-data:
-    name: mana-search-redis-dev-data
-
-networks:
-  mana-search-dev:
-    name: mana-search-dev
-    driver: bridge