Ability to specify that SSL errors should be ignored ...

... when downloading extensions, useful when behind a corporate proxy/firewall that is doing SSL decryption as part of the company security policy. Turned on by adding the following line to the preferences file:
```
"proxy.ignoreSSL": true
```