US software firm may need extra 200 staff for Dublin office ServiceNow, which is hiring 300 new personnel here, said growth suggested its workforce needs could nearly double by the end of 2023