Oodi, the new Helsinki Library, has robots to help reshelve books. They get a lot of press attention. But they're not the important part of the library: here's why.