Nonius Marcellus, De compendiosa doctrina : une entreprise carolingienne