How Cursor Shipped its Coding Agent to Production