African leaders are stepping up their response to Boko Haram, with Chadian soldiers chasing the militants from a northern Nigerian town and the African Union calling for a 7,500-member regional force to tackle what it called “a serious threat” to the continent. A communiqué adopted by the peace a...