Kids today are less reliant on libraries than they used to be. This may mean it’s time for schools to shift their digital priorities.