Add cmd line option to set user agent. Improves github when used.
auto merge of #3565 : glennw/servo/user-agent, r=mbrubeck

Fixes #3455