Schools have been on a mission to reinvent campus libraries—even though students just want the basics.