An elementary librarian shares book recommendations to thrill 9-year-olds that like everything from Junie B. Jones to manga.