pull_client: add option to manually specify a proxy