When saving information about loaded plugins etc., use the server
configuration name, if available, when saving/loading the plugin setup
to the settings. That way if multiple server configurations use the same
resource url e.g. cs://localhost... but are actually different servers
connected to using ssh port forwarding (for example), then the plugins
across different servers don't get mixed up.

Change-Id: I77ea85ad082bf0fb7e209f724cd125f50e1f8417