The Internal Revenue Service has been making efforts to reduce the overall amount of space it rents, but it nevertheless has lots of unnecessary space that it’s paying hundreds of millions of dollars for every year.