servo/servo — pull request #3608 by glennw (2014-10-08 02:04:42+00:00)
Title: Expose user agent option to DOM navigator interface.

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.