As more libraries relocate to malls for greater accessibility, some patrons mourn the loss of quiet sanctuaries.