Fixes #6394: Update manifest refresh to use proxy if configured.

will this work if a proxy user and password are not specified?