Automatically set HTTPS proxy if given (Fixes #805)