user-theme: Search for shell themes in default gnome-shell theme dir
Some alternative themes might be installed under
/usr/share/gnome-shell/theme
directory, along with the default one,
but User-themes does not look into this place.
Note: this change requires a correspondant change in Gnome-Tweaks
Closes #214
Edited by Florian Müllner