A stealthy pet project by the former Microsoft chief lets you search and learn about how the government spends tax dollars.