Add option to set number of workspaces

https://github.com/linuxmint/Cinnamon/issues/3254