Rename extensions from ExamineXyz to DiagnoseXyz.

Thanks @NicoKnoll.