desktop-shell: Remove multiple workspace support

It's not the most code ever, but it does make desktop-shell somewhat
more complicated for questionable (i.e. no) end-user benefit.

When desktop-shell is back in more healthy shape it could potentially be
reintroduced, but for now it's just making it more difficult to reason
about desktop-shell and fix it.

Signed-off-by: Daniel Stone <daniels@collabora.com>

man/weston-bindings.man

@@ -43,21 +43,6 @@ Zoom desktop in (or out)
 Switch active window
 .P
 .RE
-.B mod + Up, mod + Down
-.RS 4
-Increment/decrement active workspace number, if there are multiple
-.P
-.RE
-.B mod + Shift + Up, mod + Shift + Down
-.RS 4
-Move active window to the succeeding/preceding workspace, if possible
-.P
-.RE
-.B mod + F1/F2/F3/F4/F5/F6
-.RS 4
-Jump to the numbered workspace, if it exists
-.P
-.RE
 .B Ctrl + Alt + Backspace
 .RS 4
 If supported, terminate Weston. (Note this combination often is used to hard restart Xorg.)

man/weston.ini.man

@@ -426,11 +426,6 @@ for windows, controlling the backlight and zooming the desktop. See
 .BR weston-bindings (7).
 Possible values: none, ctrl, alt, super (default)
 .TP 7
-.BI "num-workspaces=" 6
-defines the number of workspaces (unsigned integer). The user can switch
-workspaces by using the
-binding+F1, F2 keys. If this key is not set, fall back to one workspace.
-.TP 7
 .BI "cursor-theme=" theme
 sets the cursor theme (string).
 .TP 7