Bonomade Machude Omar was one of the leaders of the insurgency that has sought to impose Islamic law in the north of Mozambique