Deploy DictaLM 2.0 API server

feat(v2.0): Phase A — math_schema, extractor, universal_verifier, variable_pinner, pipeline [12/12 tests pass]