chiark / gitweb /
buildserver: use pip instead of easy_install for caching