www-misc/mozilla-sync-server-core: Use dev-python/wsgiproxy2.