Update for 3.8

Hi, thanks for the shell extension, it's exactly what i've been looking for.

I've updated it for gnome 3.8 while keeping the same behaviour but making some very small modifications.