Update update.py

This change allows the user to configure and use a corporate proxy server for the HTTPS.