At long last, update the curl port to its almost-current version, 7.19.2.
Yes, there's been a new 7.19.3 version for a couple of days now,
but I figure you folks have been waiting for me much too much as it is :(
Apologies all around!
Prompted by: several PR's and more people (and portmgrs) than I dare admit