Bei einem israelischen Luftangriff im Gazastreifen ist ein hochrangiger Hamas-Kommandeur getötet worden.