Reload extension-defined-stylesheets on theme change

adresses #2079

Extension-defined stylesheets are now reloaded whenever the user changes the Cinnamon theme, so that those stylesheets are not lost and the extension still looks as expected