Add pixman to the repository list
Use the same name for repositories in freedesktop

At least the ones that share the same prefix
Add settings alternatives to use http instead of git

Useful when a firewall has blocked the git port (9418)