Add panelOptions to theme selector plugin

Title says it all.

This PR supersedes #724. It adds a `panelOptions` object to the configuration parameters of the theme selector plugin, which enables to change the panel properties.

Thanks a lot @sbrunner for your wise advises.

Please review