sv. Karel I. Veliký, obnovitel Svaté Říše římské