AI Agile Coaching: How Coaches Are Augmenting Their Practice