Beyond Autocomplete: Designing CopilotLens Towards Transparent and Explainable AI Coding Agents