Disables window manager animations including workspace switching in Gnome Shell 3