Add cmd line option to set user agent. Improves github when used.
Silence unused_mut warnings in generated style/properties/mod.rs

I would have put the attribute on the binding itself, but that doesn't
appear to be possible yet.
auto merge of #3591 : zwarich/servo/style-properties-mut, r=jdm

I would have put the attribute on the binding itself, but that doesn't
appear to be possible yet.
Remove manual encodable implementation. Fixes #3425.
Fix missing field in CEF port.
Cleanup some code formatting in compositing/compositor.rs
auto merge of #3593 : zwarich/servo/compositor-cleanup, r=mrobinson
Take the prefix from createElementNS into account for HTML elements

Fixes #3139
auto merge of #3565 : glennw/servo/user-agent, r=mbrubeck

Fixes #3455
auto merge of #3548 : glennw/servo/remove-encodable, r=jdm
auto merge of #3575 : gilles-leblanc/servo/issue-3139, r=Ms2ger

Fixes #3139
Update web-platform-tests.
auto merge of #3589 : Ms2ger/servo/wpt_20141006, r=jdm