Optimized option setting

New method setOptions() added to set multiple options at once at any
time (also for existing instances)
Proxy support added

Basic support for HTTP/HTTPS proxy servers added, including HTTP Basic
(all updaters) and NTLM (cURL updater only).