Martí de Riquer, histórico filólogo de las letras hispanas