role::mathoid: Convert to package<|provider==trebuchet|>

The deployment::target resource has been deprecated in favor of
Trebuchet's custom provider.

Change-Id: I992ffb4b0d137afdd2dfd6881745c2a9e0b80d74
Merge "role::mathoid: Convert to package<|provider==trebuchet|>" into production