Add Mouse scroll support

[yurenchen000]

It's a great extension, I use it every day.

I have a similar need to this user #9 , so I made a little modification to your code

feat: scroll over indicator to swich workspace. also provide 2 preference settings

• enable mouse-scroll change workspace
• enable wraparound when mouse-scroll

If there are any code style or modification comments Please let me know

only tested on ubuntu 22 lts, gnome 42.2

[yurenchen000]

thanks for your patience, I'll change them ASAP.

[yurenchen000]

@MichaelAquilina thanks for your comments.

I have made modifications for above cases, except global function workspace_switch which I'm not sure

I also thinking about whether global function workspace_switch(d) should exist

Maybe attach it as a property / method of workspaceManager or WorkspaceLayout

[MichaelAquilina]

Thanks for the contribution @yurenchen000 !