window-list: Add workspaces page to prefs

Also share the prefs page with the workspace-indicator extension, and add it as separate page to the window list preferences.

Adjust the page a bit to use more standard widgets/patterns.