Fix names of Servo global metrics
Merge pull request #81 from mattrjacobs/fix-metric-names

Fix names of Servo global metrics