avformat/http: Documented http_proxy option