interface: Remove WindowTheme tweak

The theme is no longer used in GNOME, window decorations are now
styled according to the GTK+ theme.