IRS releases government shutdown contingency plan