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

Fixes #3455