Add http proxy configuration parameters and command-line tool to set them