xl : main plugin of the Extensions LibraryΒΆ

See lino_xl.lib.xl.