Add proxy option, in order to use the new proxy option available since w3cjs 0.1.22.