Small python/gtk3 app to dynamically set the GTK theme for xsettingsd