Add lint for ConventionExtension extension

Change-Id: Ic486b424916f4f722a83d6ae5216446f5b1f869e
Add lint for GeoGebra extension

Change-Id: I8cd2fdc11e015a4c791890373eb4e15e01ec7ec7