Mouse: Precision Editing Tools for AI Coding Agents