as in 3.1: set_ini of user agent, sometimes needed when calling file_get_content…  …s on https servers