Notker I. von St. Gallen, Gesta Karoli Magni