Added support for https_proxy environment variable and arbitrary option passing to curl

Trivial additions for increased flexibility.