Documentation for HTTP proxy use

To fix #358