new gnome-shell 3.8 keybinder api
Make Alt-Tab work
Enable showing of Coverflow and switching with arrows
Reintroduce modifier mask
fix version check
Merge pull request #14 from p91paul/experimental

Gnome-Shell 3.8 compatibility
fix version check
fix background dimming for 3.8
fixed some js warnings in console
forgot to remove this line...
fix scrolling not working with new clutter.scroll_direction.SMOOTH
make smooth scrolling work for arbitrary delta values
introduce gs38 platform + remove check for gs version <3.4, since this isn't supported anyway
move background and modifier specifics to platform.js
fix platform errors
add cinnamon 1.8 + remove cinnamon development versions
minor stuff