A faster, more responsive UI and bugfixes:
- add UI-scale option in settings
- add middle mouse click-drag scrolling for the clip selector
- improved caching behavior for near instant switch between previously selected clips
- fix lua script lagging behind when setting DaVinci playhead position
- fix timeout issue for long lasting operations