How exactly the IRS will use the SuperPod AI hardware is unclear. But it comes amid a push for automation in government.