Migrate the modelserver-theia extension to a plugin #61
Description
The modelserver-theia packge currently defines a Theia extension but could be migrated to a more general plugin so that it might also be re-used in VS Code.
{{ message }}
The modelserver-theia packge currently defines a Theia extension but could be migrated to a more general plugin so that it might also be re-used in VS Code.