Expose user agent option to DOM navigator interface.
auto merge of #3608 : glennw/servo/user-agent-navigator, r=Ms2ger

This also makes command line options available as a global. If we're happy with that change I will go through the rest of the code and update it to avoid passing and cloning the Opts structure.