Add gitlab.com/the-muppets as additional source for proprietary files

Manifests can not be used as-is, as they have some incompatibilities
(like the re-define of the already existing "gitlab" remote) with the
build system.