Fixed issue #3125: ini_set('useragent') ignored by file_get_contents for http file

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