Real Gabinete Portugues de Leitura, library bookshelves