Wrap-arround for workspace switcher

I've added an option to make the workspace switcher wrap around work spaces when scrolling on it. It's a very small change.

Sadly I could not test it because I had problems with dependencies in the ubuntu mate dev packages (some libraries needed higher versions than offered in the repositories and I don't want to build it all by myself), so I could understand declining it.