Workday, a maker of HR software, is laying off roughly 1,750 employees as part of a restructuring plan and push into artificial intelligence.