The Post’s David Fahrenthold examines the amount of federal spending, workers, rules and buildings over the years.