Change proprietarty repos from github to gitlab in case device is xiaomi

Hi,

TheMuppets proprietary content for Xiaomi devices has been removed from github, however, it can be found on Gitlab.

It is a quickfix: redirect_muppets_repo.patch

This should be done only for Xiaomi devices, as the new url has only Xiaomi stuff in place. For a better solution maybe the script should merge the two proprietary.xmls?

Cheers, Krisztián