Bug#855846: [Android-tools-devel] Bug#855846: repo: requires software outside of the distribution to function

[Hans-Christoph Steiner]

I'm fine with it being moved to contrib.