This will allow us to use a custom SocksPort for htpdate.

042cc8e3 Use curl instead of wget, and add a --proxy option passed through to curl.
5f213676 Remove the --fullrequest option, we don't need it anymore.
bfe6ffb7 Remove --dns-timeout option, we don't need it anymore.