What ProNavigator is, why Guidewire acquired it, and how the insurance-trained assistant embedded in PolicyCenter, ClaimCenter, and InsuranceNow actually works.