CI: check for missing POTFILES entries
It would be great if CI checked for missing entries in POTFILES, specially when adding or refactoring stuff in Settings. This check was recently added in the gnome-shell-extensions repo: gnome-shell-extensions@fa8866d6