pluginmanager: Write and read activated plugins from the configuration file

Authored by cfoch on May 31 2017, 8:39 PM.