use git for zope.proxy sources, because it was moved