Adding a UserAgent header to the http downloader

Created by  pmeunier  on June 3, 2021
AI73GKAO5QBPR6YGW7H5UNZYAEGYGIHAFO6DM2DWCPMVYLHE547QC
Change contents