Add proxy option.

Add a new proxy option in order to use the new proxy option available since w3cjs 0.1.22.
It can be useful when you are behind a corporate proxy.