Add the `proxy-ignore-hosts` option to specify a list of hosts where a
proxy should be ignored.