Fancy workspace switching extension

Using the standard workspace switching hotkeys Ctrl+Alt+Left/Right will animate the workspace change with several types of animation effects (configurable in the extension settings)