HAI-Eval: Measuring Human-AI Synergy in Collaborative Coding