windowsNavigator: Adjust to gnome-shell changes
Unsurprisingly, the big overview changes in gnome-shell broke the extension. Make the necessary adjustments to get it working again:
- changed constructor parameters for Workspace/WorkspacesView
- overall state handling done by adjustment
- window preview layout changes
Fixes #296 (closed)