chore: Update servo to c070372

[dklassic]

Accompanying the change of servo preferences, several changes has been made:

• Removed resources/prefs.json as we don't have difference from default servo at the moment
• Removed the support for devtools related settings using arguments
• Multiple debug options are now part of preference

[pewsheen]

You'll need to set servo config prefs when new Verso, it requires remapping CSS prefs now.

servo_config::prefs::set(preferences);

I think we can just new a default Preference and enable flexbox then we can remove prefs.json as well.

[Legend-Master]

Why is this removal? Servo changed devtools_port from Opts to Preferences, we should set it on Preferences instead of removing this

[dklassic]

With corresponding settings moved to Preference means we have to consciously have a new component maintaining preference if we want to keep these.

We can add them back later.

[Legend-Master]

With corresponding settings moved to Preference means we have to consciously have a new component maintaining preference if we want to keep these.

I'm not sure what do you mean, can't we just change

servo_config::prefs::set(Preferences::default());

to

servo_config::prefs::set(Preferences {
    devtools_server_port: ...,
    devtools_server_enabled: ...,
    ..Default::default()
});

?

[dklassic]

Sure, we can just add it back like that for now. It is just removed for the sake of updating servo and the fact that we currently don't have preference differences from servo.