ci: Switch to extension-ci image
gnome-shell now provides a docker image with useful tools for extension CI; as it contains everything we need, we can speed up CI by not running the package manager.
gnome-shell now provides a docker image with useful tools for extension CI; as it contains everything we need, we can speed up CI by not running the package manager.