Homotopy nilpotency in p-compact groups