Real-time scheduler

[plfiorini]

Give more priority to the compositor.

Prior art:

https://gitlab.gnome.org/GNOME/mutter/commit/dae2c1d420ed272710ac55b7a00f6787e5c0e762
https://blog.martin-graesslin.com/blog/2017/09/kwinwayland-goes-real-time/