ci: Check that gnome-shell can still run

!3387 (merged) broke gnome-shell, let's try to prevent this kind of breakage in the future by running the gnome-shell test suite during CI.