Five African nations on Saturday pledged to deploy 8,700 troops, police and civilians as part of a regional effort to combat Nigeria's Boko Haram militants.