The Economist/ Few Nigerians will have mourned the death of Mamman Nur, a senior figure in Boko Haram, one of…