DownloadFile downloads a file from a URL into the specified path.

GetDownloaderConfig returns the downloader configuration based on current settings.

New returns a default http client for use in the arduino-cli.

NewWithConfig creates a http client for use in the arduino-cli, with a given configuration.

Config is the configuration of the http client.