The IRS decided to get tough against Microsoft — and then Microsoft got tougher