Agostinho de Campos, educador e homem de letras