The IRS wants to shrink its workforce by nearly 4,000—and use technology to make up the difference (Next Gov)