* Rename metrics, add `Time` suffix to all so that they are
more consistent
* iOS does not give us `gc` metrics, so they should not be reported
* Rename `scriptMicroAvg` into `microScriptTimeAvg`
* Rename previous `script` metric into `pureScriptTime` metric,
and keep `scriptTime` metric as the overall time, so that we still
have a shared metric across devices independent of the supported
browser features
* `microScriptTimeAvg` is now based on overall `scriptTime`, including
gc and render time.
* Move more shared DI tokens into `common_options` (previously
`sample_options`).
Closes#930
Tobias Bosch