Gnome: maximus and app-keys extensions

Unfortunately, these cannot be installed through the extensions page on
gnome 3.8, so I'm including them here.