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

Summary: Add the missing config option: user_agent

This closes  issue #3125
Closes #3151

Reviewed By: @ptarjan

Differential Revision: D1426527