How to Install GNOME Shell Extensions on Ubuntu and Other Linux Distros