France announces it has killed the leader of al-Qaeda in north Africa in an operation in Mali.