PluginManager simplification

[kees-jan]

PluginManager was originally written to support dynamic loading and unloading of plugins. In practice, dynamically loading plugins will never happen, and neither will unloading of plugins.

Furthermore, PluginManager loads plugins as a background task, assuming that loading plugins takes a lot of time. In practice, this is not the case.