Die israelische Armee hat Hamas-Militärchef Mohammed Deif ausgeschaltet.