Initial release based on commit 863e895b67a8e70809ebe3bb8aa5883e142aa00f
from banch gnome-shell-extension-3.8 that includes several fixes over the
0.8.0 tag, applied as one patch (Closes: #728031)