Slurp in gnome-shell-frippery-0.7.2
Merge branch 'upstream'

Conflicts:
	Bottom_Panel@rmy.pobox.com/extension.js

Don't honestly know what changed upstream between my
base version (0.5.2? I was apparently naughty & didn't
record that anywhere) and 0.7.2 since Ron doesn't appear
to post changelogs nor have a source repository anyplace
obvious and I'm not in the mood to read the diff and figure
it out. But at first blush, it doesn't look like anything
blew up, so hooray?