Better AI progress updates and smoother handling of interruptions

AI now streams in progress updates as it thinks.

Other improvements

• Improved handling of interrupted queries when you reload, navigate away, or cancel the AI's work.