Servo's customization of testharness.js