On maybe not merging CURLOPT_IPTIMEOUT_MS

[Daniel Stenberg via curl-library]

Hello,

We have previouly discussed libcurl's timeout approch when more than one IP
address is found for a name. This made me create this pull request [*] a while
ago, for a new proposed option called CURLOPT_IPTIMEOUT_MS that gives the
application better control of exactly how long time libcurl will spend on each
single IP address it tries to connect to.

But I've not received a single comment on this. Neither positive nor negative.

I'm not a fan of landing something that doesn't seem to even have a single
supporter, even though this concept was ironed out after a discussion on this
list. Until I hear from someone who actually wants to use a feature like this,
I'm going to let this PR slide.

[*] = https://github.com/curl/curl/pull/6814