Support ini_set('useragent') in file_get_contents for http file (#3125)

Add the missing config option: user_agent

This closes  issue #3125