Benioff said AI coding agents have unlocked efficiency gains that were previously out of reach, and hinted at new coding tools inside Slack