Add local files
Merge branch 'master' of https://github.com/davekeogh/gnome-shell-extension-workspace-switcher

Merge generated files