Move git repositories that are dependencies of wikidata to gerrit.
TODOs for each repository:
- Acquire necessary rights for github orgs, travis, scrutinizer and possibly gerrit, to be able to do the move.
- Move repo to wikimedia org.
- Create repository on gerrit.
- Push from old to new repository.
- Make sure mirroring works.
- Ensure travis, scrutinizer and packagist hooks from github mirror works.
- Change http://wikiba.se/components/ and composer.json
- Setup irc notification from gerrit.
- Setup Wikimedia CI for new repos.