French president says head of the Islamic State of the Greater Sahara, Adnan Abu Walid al-Sahrawi, has been killed