What is cURL, and how to use it with HTTP/HTTPS proxy?