The IRS was starting to modernize—then the Trump administration intervened.