Change proprietarty repos from github to gitlab in case device is xiaomi
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?