chore: deploy from CI

fix: Python 3.11-slim + build-essential + split prod/dev deps (fixes HF Space Docker build)

fix: make sentence-transformers optional in Docker build (benchmark gracefully disabled if unavailable)

chore: add Dockerfile for HuggingFace Spaces (port 7860, DB_PATH env var)