Agência Geral do Ultramar, Divisão de Publicações e Biblioteca