Made various improvements to the workspaces module. (#17)

* Made workspace scrolling slower and more natural.

* Fix workspace scrolling not working on single monitors: Fixes #8

* Fixed #15 and added configuration options to adjust workspace spacing and scrolling speed.

options.ts

@@ -577,8 +577,10 @@ const options = mkOptions(OPTIONS, {
                 occupied: opt(""),
             },
             workspaces: opt(10),
+            spacing: opt(1),
             monitorSpecific: opt(true),
             reverse_scroll: opt(false),
+            scroll_speed: opt(5),
         },
         volume: {
             label: opt(true),