httptools.py uses proxy settings from environment if set.