Peace deal brings to an end a half-century war that killed a quarter of a million people.