https_proxy: Add flag to override mappings for some prefixes.

Allows some paths to be redirected to another server. Bit of a hack.