Changes Flatpak manifest source to use the KRDC repo, as part of migrating Flatpak building to use GitLab CI.