Revert "per default, do not use any HTTP proxy"

This reverts commit 404a3a7cb37e594646139c1ccd1817981354e294.