[kernel] Remove all plugin options

- Always print plugin except kernel
- The only optional plugin is used in extension_from and plugin_from
- All other acsl_extension functions take a plugin:string
  - these functions raise Not_found is the extension is not registered
  - can also fatal in case of ambiguity if plugin is None